[Debug] Fix dumping queries

TDacik · Jan 16, 2025 · 0c309cf · 0c309cf
1 parent 8b2f5dc
commit 0c309cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/debug.ml b/src/solver/debug.ml
@@ -49,7 +49,7 @@ let rec rm path =
 let decorate fn = fun arg ->
   if not @@ Options.debug () then ()
   else if Options.interactive () && not @@ Sys.file_exists (debug_dir ()) then
-    Sys.mkdir (debug_dir ()) 0o775
+    Sys.mkdir (debug_dir ()) 0o775; fn arg
   else fn arg
 
 (** Initialize debug model *)