diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index a1ce00ff..83cfd8a3 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 list option + | Lem_out of string list let get_lexbuf f = let in_chan = open_in f in @@ -199,9 +199,7 @@ let output1 libpath out_arg filename defs = Pretty_print.pp_lem_defs o defs; close_output_with_check ext_o end - | Lem_out None -> - output_lem f' [] defs - | Lem_out (Some libs) -> + | Lem_out libs -> output_lem f' libs defs let output libpath out_arg files = |