CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 00:15:39 +03:00
Code Issues Projects Releases Wiki Activity

Restore the trace parameter functionality in the web interpreter

Browse Source
This commit is contained in:
Denis Merigoux 2022-03-28 15:16:03 +02:00
parent e28587c3ed
commit 5d36af01e3
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/catala_web_interpreter.ml
View File

@ -19,7 +19,7 @@ let _ =
backend = "Interpret";
language = Some (Js.to_string language);
max_prec_digits = None;
trace = false;
trace;
disable_counterexamples = false;
optimize = false;
ex_scope = Some (Js.to_string scope);