Changes in src/ResolvExpr/SatisfyAssertions.cpp [2908f08:c6b4432]

File:

• src/ResolvExpr/SatisfyAssertions.cpp (modified) (1 diff)

src/ResolvExpr/SatisfyAssertions.cpp

@@ -473 +473 @@
                                                 errors.emplace_back( ss.str() );
                                                 goto nextSat;
-                                        } else if ( result == AssertionResult::Skip ) {
+                                        }
+                                        else if ( result == AssertionResult::Skip ) {
                                                 next.emplace_back(assn);
                                                 // goto nextSat;