From b4b6d5d648e06f7cf966c004a70b35f6b48a647c Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Tue, 8 Mar 2022 17:35:57 +0100 Subject: [PATCH] Fix compilation catala_web_interpreter oops I overlooked that one --- compiler/catala_web_interpreter.ml | 1 - compiler/driver.ml | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) 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;