HOTFIX rpc exec branch prune (#3653)

The backend can currently return branching with a single branch
runtimeverification · Sep 12, 2023 · d677fe6 · d677fe6
1 parent ca76acb
commit d677fe6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kore/src/Kore/Exec.hs b/kore/src/Kore/Exec.hs
@@ -564,7 +564,7 @@ rpcExec
                     _ -> True
                 )
                 rs of
-                (s : ss) -> GraphTraversal.Branch prior $ fmap fst (s :| ss)
+                (s1 : s2 : ss) -> GraphTraversal.Branch prior $ fmap fst (s1 :| (s2 : ss))
                 --  either empty or single result
                 other -> toTransitionResult prior other