update

p4lang · Mar 25, 2022 · b86bd10 · b86bd10
1 parent cf81420
commit b86bd10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/midend/parserUnroll.cpp b/midend/parserUnroll.cpp
@@ -669,7 +669,7 @@ class ParserSymbolicInterpreter {
             auto nextStates = evaluateState(stateInfo, newStates);
             if (nextStates.first == nullptr) {
                 if (nextStates.second && stateInfo->predecessor &&
-                 stateInfo->state->name != stateInfo->predecessor->newState->name) {
+                    stateInfo->state->name != stateInfo->predecessor->newState->name) {
                     // generate call OutOfBound
                     hasOutOfboundState = true;
                     stateInfo->newState = new IR::ParserState(getNewName(stateInfo),