From 9dbc62938011b07ae28795cdc7e2f8ddea01ef2a Mon Sep 17 00:00:00 2001 From: ckeller Date: Wed, 21 Apr 2021 10:59:23 +0200 Subject: Warning (instead of error) for unsupported lemmas (#90) --- src/trace/smtMisc.ml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/trace/smtMisc.ml') diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index aad8b07..41c741d 100644 --- a/src/trace/smtMisc.ml +++ b/src/trace/smtMisc.ml @@ -50,3 +50,9 @@ module SL = Set.Make (struct end) type logic = SL.t + + +(** Utils *) +let rec filter_map f = function + | [] -> [] + | x::xs -> match f x with Some x -> x::(filter_map f xs) | None -> filter_map f xs -- cgit