Fix web build

hipsleek · Dec 18, 2023 · 7748114 · 7748114
1 parent 15ae61b
commit 7748114
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/parsing/hipjs.ml b/parsing/hipjs.ml
@@ -17,7 +17,7 @@ let main () =
   Jv.set Jv.global "hip_run_string"
     (Jv.callback ~arity:1 (fun s ->
          let debug = Jv.call Jv.global "debug_output" [||] |> Jv.to_bool in
-         Hiplib.Debug.debug_level := if debug then 2 else 0;
+         Hiplib.Debug.user_query := if debug then [(Show, LogLevel 2, false)] else [(Hide, All, false)];
          Hiplib.run_string (Jv.to_string s)))
 
 let () = main ()