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.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/trace/satAtom.mli b/src/trace/satAtom.mli
index 311b147..875e1ad 100644
--- a/src/trace/satAtom.mli
+++ b/src/trace/satAtom.mli
@@ -18,7 +18,7 @@ module Atom : sig
 
   val is_bool_type : t -> bool
   val is_bv_type : t -> bool
-  val to_smt : Format.formatter -> t -> unit
+  val to_smt : ?debug:bool -> Format.formatter -> t -> unit
   val logic : t -> SmtMisc.logic
 
   type reify_tbl = {
-- 
cgit