From 0c309cf0b46b91eea702a69246868116332496fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Dac=C3=ADk?= Date: Thu, 16 Jan 2025 18:21:05 +0100 Subject: [PATCH] [Debug] Fix dumping queries --- src/solver/debug.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/debug.ml b/src/solver/debug.ml index af35056..bb35ea9 100644 --- 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 *)