From 3a374ca433e0440e8c59be49dc93875886d9a733 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Fri, 17 Mar 2017 16:56:45 +0100
Subject: [PATCH] Whitespace fixes
---
src/lib/CoAlgReasoner.ml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 971c59a..93d7761 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -135,7 +135,7 @@ let propagateSatMu () =
| Unsat -> ()
| Sat ->
setAddState setStates state;
- setAddState setFinishingStates state
+ setAddState setFinishingStates state
| Expandable -> ()
| Open ->
openstates := !openstates + 1;
@@ -165,11 +165,11 @@ let propagateSatMu () =
| Expandable
| Open ->
setAddCore setCores core;
- if bsetCompare (coreGetDeferral core) emptySet == 0
- then begin
- setAddCore setFinishingCores core
- end
- else ()
+ if bsetCompare (coreGetDeferral core) emptySet == 0
+ then begin
+ setAddCore setFinishingCores core
+ end
+ else ()
in
graphIterStates stateCollector;
graphIterCores coreCollector;
--
GitLab