diff --git a/src/Search/Search.hs b/src/Search/Search.hs index 9b1e012ebafc1ec6e27f39c4e3c7efa413f54156..8690301ddefe7e94e42bb0264b7de3cc00ad7aaa 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