diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-21 13:20:33 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-21 13:20:33 +0200 |
commit | f64fc0cba51a6df71ae55548e20233b94c5a1701 (patch) | |
tree | 94e84b40068d91553b6e32063697392bcc406c6d /src/trace/smtMisc.ml | |
parent | 775a02fa0d8df3eebf8a4f39a141504008a9a09a (diff) | |
parent | a2909f58811408f60febda00c3070d7c5bf7a8f6 (diff) | |
download | smtcoq-f64fc0cba51a6df71ae55548e20233b94c5a1701.tar.gz smtcoq-f64fc0cba51a6df71ae55548e20233b94c5a1701.zip |
Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11
Diffstat (limited to 'src/trace/smtMisc.ml')
-rw-r--r-- | src/trace/smtMisc.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index d33a0ec..0b6eeaa 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 |