Fix mosml error in open tweaks from previous commit

HOL-Theorem-Prover · Mar 8, 2025 · 59e696b · 59e696b
1 parent 5ede243
commit 59e696b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/std.prelude b/std.prelude
@@ -163,9 +163,8 @@ structure HOL_Interactive : sig
   val noisy_open : bool ref
 end =
 struct
-  val last_quiet = ref true
+  val last_quiet = ref [true]
   fun toggle_quietdec () = (
-    last_quiet := Meta.quietdec;
     Meta.quietdec := not (!Meta.quietdec) ;
     !Meta.quietdec
   )