From dd9c78bc40fa98ce5122cda8f6cdc1527df08527 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Merlin=20G=C3=B6ttlinger?= <megoettlinger@gmail.com> Date: Thu, 13 Apr 2017 16:37:12 +0200 Subject: [PATCH] Don't eliminate ISR kickoffs --- src/Compare/SSEGraph.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Compare/SSEGraph.hs b/src/Compare/SSEGraph.hs index e2178d3..12defaf 100644 --- a/src/Compare/SSEGraph.hs +++ b/src/Compare/SSEGraph.hs @@ -73,4 +73,4 @@ newtype SSEEdgeLabelKickoff = WithKickoff SSEEdgeLabel instance IsEpsilon SSEEdgeLabelKickoff where isEpsilon (WithKickoff l@(SSEEdgeLabel t)) - = isEpsilon l || "kickoff" `T.isInfixOf` t + = isEpsilon l || ("kickoff" `T.isInfixOf` t && (not $ "ISR" `T.isInfixOf` t)) -- GitLab