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

Add missing options

Browse Source
This commit is contained in:
Denis Merigoux 2022-05-26 19:10:53 +02:00
parent ec225994af
commit fd7d9a6818
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.nix/no-web.patch
View File

@ -31,6 +31,7 @@ index 3b8d660..0000000
- optimize = false;
- ex_scope = Some (Js.to_string scope);
- output_file = None;
- print_only_law = false;
- }
- end)
diff --git a/compiler/dune b/compiler/dune

1
compiler/catala_web_interpreter.ml
View File

@ -26,5 +26,6 @@ let _ =
optimize = false;
ex_scope = Some (Js.to_string scope);
output_file = None;
print_only_law = false;
}
end)