Add header for function used in previous commit

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