diff options
Diffstat (limited to 'testsuite/tests/asmgen/catch-rec.cmm')
| -rw-r--r-- | testsuite/tests/asmgen/catch-rec.cmm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/asmgen/catch-rec.cmm b/testsuite/tests/asmgen/catch-rec.cmm index 51089d3250..37288f8dab 100644 --- a/testsuite/tests/asmgen/catch-rec.cmm +++ b/testsuite/tests/asmgen/catch-rec.cmm @@ -1,7 +1,7 @@ (* TEST -readonly_files = "main.c" -arguments = "-DINT_INT -DFUN=catch_fact main.c" -* asmgen + readonly_files = "main.c"; + arguments = "-DINT_INT -DFUN=catch_fact main.c"; + asmgen; *) (function "catch_fact" (b:int) |