This commit is contained in:
Denis Merigoux 2022-01-26 17:15:06 +01:00
parent 5e253ba321
commit 228330d0cf
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3

View File

@ -10,7 +10,7 @@ let _ =
(Contents (Js.to_string contents))
false false false "Interpret"
(Some (Js.to_string language))
None trace false
None trace false false
(Some (Js.to_string scope))
None
end)