diff options
| -rw-r--r-- | src/compiler.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index aad5ce8c..0aba3a40 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1200,6 +1200,7 @@ val parse = { else (); ErrorMsg.error ("Missing source file: " ^ fname); + anyErrors := true; (Source.DSequence "", ErrorMsg.dummySpan)) val dsFfi = map parseFfi ffi |