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

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

diff --git a/src/trace/smtAtom.mli b/src/trace/smtAtom.mli
index 27737ff..05d4042 100644
--- a/src/trace/smtAtom.mli
+++ b/src/trace/smtAtom.mli
@@ -119,7 +119,7 @@ module Atom :
 
       val type_of : t -> btype
 
-      val to_smt : Format.formatter -> t -> unit
+      val to_smt : ?debug:bool -> Format.formatter -> t -> unit
 
       type reify_tbl
 
-- 
cgit