Merge pull request #3593 from mtzguido/fix2

Main: fail when no files provided in batch
FStarLang · Oct 24, 2024 · a6a8ba7 · a6a8ba7
2 parents e8fcdde + 9e8baad
commit a6a8ba7
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 34 deletions.
diff --git a/ocaml/fstar-lib/generated/FStarC_Main.ml b/ocaml/fstar-lib/generated/FStarC_Main.ml
diff --git a/src/fstar/FStarC.Main.fst b/src/fstar/FStarC.Main.fst
@@ -264,7 +264,7 @@ let go_normal () =
         end
 
       (* Normal, batch mode compiler *)
-      else if List.length filenames >= 1 then begin //normal batch mode
+      else begin
         if Nil? filenames then
           Errors.raise_error0 Errors.Error_MissingFileName "No file provided";