[Debug] Fix s-expression conversion of '='

TDacik · Jan 16, 2025 · 78e4e0c · 78e4e0c
1 parent 0c309cf
commit 78e4e0c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/logics/BaseLogic.ml b/src/logics/BaseLogic.ml
@@ -781,6 +781,7 @@ type sexp_action =
   | Skip
 
 let app_to_sexp app xs = match app with
+  | Application.Equal -> App "="
   | Application.Star -> App "sep"
   | Application.GuardedNot -> Modify ("and", [List.hd xs; Boolean.mk_not @@ List.nth xs 1])
   | Application.Pure -> Skip