diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 1dcbf77e7edb92dbe93a85d7e61fbdf4b1518baf..de6498688f806bd896b1655b5e776e76a6e006e2 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -240,12 +240,12 @@ val stateGetIdx : state -> int
 val coreMake : sort -> bset -> bset -> Minisat.solver -> fht -> core
 val coreGetSort : core -> sort
 val coreGetBs : core -> bset
-val coreSetBs :core -> bset -> unit
+val coreSetBs : core -> bset -> unit
 val coreGetDeferral : core -> bset
-val coreSetDeferral :core -> bset -> unit
+val coreSetDeferral : core -> bset -> unit
 val coreGetStatus : core -> nodeStatus
 val coreSetStatus : core -> nodeStatus -> unit
-val coreGetParents :core -> (state * int) list
+val coreGetParents : core -> (state * int) list
 val coreAddParent : core -> state -> int -> unit
 val coreGetChildren : core -> state list
 val coreAddChild : core -> state -> unit