From 012c092c66ed58735f90e20d5bb9b865d554febb Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Wed, 13 Apr 2016 22:18:44 +0200
Subject: [PATCH] Obvious simplification
---
src/lib/CoAlgReasoner.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 02d91a0..690814e 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -137,7 +137,7 @@ let propagateSatMu () =
setAddState setFinishingStates state
| Expandable -> ()
| Open ->
- if stateGetStatus state == Open && List.length (stateGetRules state) == 0 || (* States with no rules are satisfiable *)
+ if List.length (stateGetRules state) == 0 || (* States with no rules are satisfiable *)
bsetCompare (bsetMake ()) (stateGetBs state) == 0 (* KD generates nodes with just True as formula *)
then begin
setAddState setFinishingStates state;
--
GitLab