From 5a35d6de9c1320da5a8fbb81d93a152b55f801c7 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 11 Oct 2016 17:34:57 +0200
Subject: [PATCH] search: Remove 'x' from start node label
---
src/Search/Search.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Search/Search.hs b/src/Search/Search.hs
index 9b1e012..8690301 100644
--- a/src/Search/Search.hs
+++ b/src/Search/Search.hs
@@ -66,11 +66,11 @@ findOpenDecision = listToMaybe . mapMaybe isHalf . M.elems . decisions
driver :: FilePath -> IO ()
driver prog = do
- state <- newIORef (State M.empty (Just ("", "xstart")) M.empty [])
+ state <- newIORef (State M.empty (Just ("", "start")) M.empty [])
oneProgRun prog state Nothing
forever $ do
- modifyIORef state $ \s -> s { curTrace = [], currentVertex = Just ("", "xstart") }
+ modifyIORef state $ \s -> s { curTrace = [], currentVertex = Just ("", "start") }
findOpenDecision <$> readIORef state >>= \case
Nothing -> do
s <- readIORef state
--
GitLab