Changeset f7f997a for src/ResolvExpr/SatisfyAssertions.cpp

Timestamp:

Nov 17, 2023, 3:23:48 PM (2 years ago)

Author:

caparson <caparson@…>

Branches:

master

Children:

decd4a6

Parents:

16e0dcb (diff), 2908f08 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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;