File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -990,8 +990,7 @@ def buildResumptionStates(self, out: list[str]):
990990 out .append (f"{ LABEL_PREFIX } { name } : " + "{" )
991991 for line in lines :
992992 out .append (f" { line } " )
993- out .append (" /* UNREACHABLE */;" )
994- out .append (" abort();" )
993+ out .append (" UNREACHABLE;" )
995994 out .append ("}" )
996995
997996 def buildInternalStates (self , out : list [str ]):
@@ -1002,8 +1001,7 @@ def buildInternalStates(self, out: list[str]):
10021001 out .append (f"{ LABEL_PREFIX } { name } : " + "{" )
10031002 for line in lines :
10041003 out .append (f" { line } " )
1005- out .append (" /* UNREACHABLE */;" )
1006- out .append (" abort();" )
1004+ out .append (" UNREACHABLE;" )
10071005 out .append ("}" )
10081006
10091007 def addState (self , state : str , lines : list [str ]):
You can’t perform that action at this time.
0 commit comments