diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 97cc42f8984312326246bd67a572c18399afff30..9c25e6c892a3880c11d8d26a5988728c98edfda7 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