Skip to content

Commit

Permalink
Update interpreter/script/js.ml
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg authored Nov 14, 2023
1 parent ebd1d7c commit c128737
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions interpreter/script/js.ml
Original file line number Diff line number Diff line change
Expand Up @@ -597,9 +597,7 @@ let of_command mods cmd =
match def.it with
| Textual m -> m
| Encoded (_, bs) -> Decode.decode "binary" bs
| Quoted (_, s) ->
let _v, m = Parse.Module.from_string s in
unquote m
| Quoted (_, s) -> unquote (snd (Parse.Module.from_string s))
in bind mods x_opt (unquote def);
"let " ^ current_var mods ^ " = instance(" ^ of_definition def ^ ");\n" ^
(if x_opt = None then "" else
Expand Down

0 comments on commit c128737

Please sign in to comment.