From 8d6723e78194a2e24b0c358d35520ea9f8ae540d Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 28 Mar 2017 09:51:16 +0200
Subject: [PATCH] Expect Int instead of Text in node ids of SSEGraph
Following the recent change in dOSEK
---
src/Compare/Preprocess.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/Compare/Preprocess.hs b/src/Compare/Preprocess.hs
index 97de5ef..394e13a 100644
--- a/src/Compare/Preprocess.hs
+++ b/src/Compare/Preprocess.hs
@@ -15,10 +15,11 @@ import Compare.Types.Lenses
import Compare.SSEGraph
import Search.EpsilonElimination
-preprocess :: Graph Text SSEEdgeLabel -> Graph Text Text
+preprocess :: Graph Int SSEEdgeLabel -> Graph Text Text
preprocess g = g & eliminateEpsilons
& _graph %~ (G.emap _unSSEEdgeLabel)
& _graph %~ (G.emap (renameIdle . renameStartOS . stripArgument))
+ & _graph %~ (G.nmap (T.pack . show))
& renameIdleKickoff
-- | Rename the startOSEdge from "ABBx/StartOS" to "StartOS"
--
GitLab