From b9a8d969a9fb6a881a59b623207108b74dd01723 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Tue, 5 Apr 2016 02:56:43 +0200
Subject: [PATCH] Space normalization

---
 src/lib/CoAlgMisc.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 1dcbf77..de64986 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
-- 
GitLab