diff --git a/compiler/catala_web_interpreter.ml b/compiler/catala_web_interpreter.ml index 16128c59..cc842a5d 100644 --- a/compiler/catala_web_interpreter.ml +++ b/compiler/catala_web_interpreter.ml @@ -17,7 +17,6 @@ let _ = wrap_weaved_output = false; avoid_exceptions = false; backend = "Interpret"; - plugins_dirs = []; language = Some (Js.to_string language); max_prec_digits = None; trace = false; diff --git a/compiler/driver.ml b/compiler/driver.ml index 7e6ce0ac..d0fd7213 100644 --- a/compiler/driver.ml +++ b/compiler/driver.ml @@ -29,7 +29,7 @@ let extensions = (** Entry function for the executable. Returns a negative number in case of error. Usage: - [driver source_file debug dcalc unstyled wrap_weaved_output backend plugins_dirs language max_prec_digits trace optimize scope_to_execute output_file]*) + [driver source_file options]*) let driver source_file (options : Cli.options) : int = try Cli.set_option_globals options;