From f20718d24eed8bb18f08767f340f72121372b328 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Sat, 9 Apr 2016 03:18:27 +0200
Subject: [PATCH] Add header for function used in previous commit

---
 src/lib/CoAlgMisc.mli | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 97cc42f..9c25e6c 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -313,6 +313,7 @@ val bsetMake : unit -> bset (* a new bset which only contains True *)
 val bsetMakeRealEmpty : unit -> bset (* a new bset without containing True *)
 val bsetAdd : bset -> localFormula -> unit
 val bsetMem : bset -> localFormula -> bool
+val bsetRem : bset -> int -> unit
 val bsetCompare : bset -> bset -> int
 val bsetFold : (localFormula -> 'a -> 'a) -> bset -> 'a -> 'a
 val bsetIter : (localFormula -> unit) -> bset -> unit
-- 
GitLab