diff options
Diffstat (limited to 'test-suite/modules')
| -rw-r--r-- | test-suite/modules/mod_decl.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/modules/mod_decl.v b/test-suite/modules/mod_decl.v index b2a103a8f..867b8a11f 100644 --- a/test-suite/modules/mod_decl.v +++ b/test-suite/modules/mod_decl.v @@ -49,7 +49,7 @@ Module Type T. Declare Module M5<:SIG:=M0. - Declare Module M6:=F M0. + Declare Module M6:=F M0. (* error *) Module M7. End T.
\ No newline at end of file |