From 9dbc62938011b07ae28795cdc7e2f8ddea01ef2a Mon Sep 17 00:00:00 2001
From: ckeller <ckeller@users.noreply.github.com>
Date: Wed, 21 Apr 2021 10:59:23 +0200
Subject: Warning (instead of error) for unsupported lemmas (#90)

---
 src/trace/smtMisc.mli | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/src/trace/smtMisc.mli b/src/trace/smtMisc.mli
index f3bcf60..e442e68 100644
--- a/src/trace/smtMisc.mli
+++ b/src/trace/smtMisc.mli
@@ -19,3 +19,6 @@ val string_coq_constr : Structures.constr -> string
 type logic_item = LUF | LLia | LBitvectors | LArrays
 module SL : Set.S with type elt = logic_item
 type logic = SL.t
+
+(** Utils *)
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
-- 
cgit