From 6d64bc5ae0d0f5cc2347f180fcde8170ad058307 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Thu, 7 Apr 2016 02:35:09 +0200
Subject: [PATCH] whitespace cleanup
---
src/lib/CoAlgReasoner.ml | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index dd26d85..75de2ac 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -27,11 +27,12 @@ let propSatFindSucc setCnstr cset =
if csetHasDot cset then false
else
match graphFindCnstr cset with
- | None -> raise (ReasonerError "?")
- | Some SatC -> true
- | Some (OpenC _) -> setMemCnstr setCnstr cset
- | Some (UnexpandedC _)
- | Some UnsatC -> false
+ | None -> raise (ReasonerError "?")
+ | Some SatC -> true
+ | Some (OpenC _) -> setMemCnstr setCnstr cset
+ | Some (UnexpandedC _)
+ | Some UnsatC -> false
+
let rec propSat setStates setCores setCnstr = function
| [] -> ()
--
GitLab