aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace/satAtom.ml
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2022-02-16 10:38:15 +0100
committerChantal Keller <Chantal.Keller@lri.fr>2022-02-16 10:38:15 +0100
commit04964c70f5afd95d66fc76945e62dce773a3b3bc (patch)
tree7b42f4cc08f327519fed40edc0872795695bc9f4 /src/trace/satAtom.ml
parentc163813243e1b38b7d8c10b49d78a728d747e0e5 (diff)
downloadsmtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.tar.gz
smtcoq-04964c70f5afd95d66fc76945e62dce773a3b3bc.zip
Add debugging information for uninterpreted functions
Diffstat (limited to 'src/trace/satAtom.ml')
-rw-r--r--src/trace/satAtom.ml2
1 files changed, 1 insertions, 1 deletions
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