Skip to content
Snippets Groups Projects
Commit 5a35d6de authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

search: Remove 'x' from start node label

parent 4e695c47
Branches
No related tags found
No related merge requests found
...@@ -66,11 +66,11 @@ findOpenDecision = listToMaybe . mapMaybe isHalf . M.elems . decisions ...@@ -66,11 +66,11 @@ findOpenDecision = listToMaybe . mapMaybe isHalf . M.elems . decisions
driver :: FilePath -> IO () driver :: FilePath -> IO ()
driver prog = do 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 oneProgRun prog state Nothing
forever $ do forever $ do
modifyIORef state $ \s -> s { curTrace = [], currentVertex = Just ("", "xstart") } modifyIORef state $ \s -> s { curTrace = [], currentVertex = Just ("", "start") }
findOpenDecision <$> readIORef state >>= \case findOpenDecision <$> readIORef state >>= \case
Nothing -> do Nothing -> do
s <- readIORef state s <- readIORef state
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment