diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/process_file.ml | 6 | ||||
| -rw-r--r-- | src/process_file.mli | 2 | ||||
| -rw-r--r-- | src/sail.ml | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 44f2e832..a1ce00ff 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -52,7 +52,7 @@ let opt_new_parser = ref false type out_type = | Lem_ast_out - | Lem_out of string option + | Lem_out of string list option let get_lexbuf f = let in_chan = open_in f in @@ -201,8 +201,8 @@ let output1 libpath out_arg filename defs = end | Lem_out None -> output_lem f' [] defs - | Lem_out (Some lib) -> - output_lem f' [lib] defs + | Lem_out (Some libs) -> + output_lem f' libs defs let output libpath out_arg files = List.iter diff --git a/src/process_file.mli b/src/process_file.mli index a9b9cf1f..17088d36 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -73,7 +73,7 @@ val opt_auto_mono : bool ref type out_type = | Lem_ast_out - | Lem_out of string option (* If present, the string is a file to open in the lem backend*) + | Lem_out of string list option (* If present, the strings are files to open in the lem backend*) val output : string -> (* The path to the library *) diff --git a/src/sail.ml b/src/sail.ml index d922afe9..93669c9d 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -234,7 +234,7 @@ let main() = then let ast_lem = rewrite_ast_lem ast in if !(opt_libs_lem) = [] then output "" (Lem_out None) [out_name,ast_lem] - else output "" (Lem_out (Some (List.hd !opt_libs_lem))) [out_name,ast_lem] + else output "" (Lem_out (Some (!opt_libs_lem))) [out_name,ast_lem] else ()); end |