From ce231fd927ded865a1cc6e29614b26c01255a7b1 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Wed, 19 Sep 2018 16:09:20 +0200
Subject: [PATCH] Fix assert in Lattice

---
 src/storm-pars/analysis/Lattice.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pars/analysis/Lattice.cpp b/src/storm-pars/analysis/Lattice.cpp
index 10a1f5082..87db8a666 100644
--- a/src/storm-pars/analysis/Lattice.cpp
+++ b/src/storm-pars/analysis/Lattice.cpp
@@ -108,7 +108,7 @@ namespace storm {
         }
 
         void Lattice::addRelationNodes(storm::analysis::Lattice::Node *above, storm::analysis::Lattice::Node * below) {
-            assert(compare(above, below) == UNKNOWN);
+            assert(compare(above, below) == UNKNOWN || compare(above, below) == ABOVE);
             above->below.insert(below);
             below->above.insert(above);
         }