From 04964c70f5afd95d66fc76945e62dce773a3b3bc Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 16 Feb 2022 10:38:15 +0100
Subject: Add debugging information for uninterpreted functions

---
 src/trace/satAtom.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/trace/satAtom.ml')

diff --git a/src/trace/satAtom.ml b/src/trace/satAtom.ml
index ff648a9..bc59943 100644
--- a/src/trace/satAtom.ml
+++ b/src/trace/satAtom.ml
@@ -55,7 +55,7 @@ module Atom =
 
     let logic _ = SL.empty
 
-    let to_smt = Format.pp_print_int
+    let to_smt ?(debug=false) = Format.pp_print_int
     
   end
 
-- 
cgit