aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace/smtForm.mli
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2022-02-17 10:50:50 +0100
committerChantal Keller <Chantal.Keller@lri.fr>2022-02-17 10:50:50 +0100
commit55d2990e9bf607c3c2f75bf98348bee19de03656 (patch)
treec2ae4efb81726c35f2f66440d370cb53e096eeb8 /src/trace/smtForm.mli
parent23ac3ceceb92cdbc2026253c1bae388a2b9b6e18 (diff)
parentbf51e8a18116d3f2f340d3be0444c7e15b2c21cb (diff)
downloadsmtcoq-55d2990e9bf607c3c2f75bf98348bee19de03656.tar.gz
smtcoq-55d2990e9bf607c3c2f75bf98348bee19de03656.zip
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Diffstat (limited to 'src/trace/smtForm.mli')
-rw-r--r--src/trace/smtForm.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/trace/smtForm.mli b/src/trace/smtForm.mli
index 47b4123..6a5fca8 100644
--- a/src/trace/smtForm.mli
+++ b/src/trace/smtForm.mli
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
@@ -22,7 +22,7 @@ module type ATOM =
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 -> logic
end