Changeset 63be3387 for libcfa/src/bits/containers.hfa

Timestamp:

Nov 14, 2022, 11:52:44 AM (3 years ago)

Author:

caparson <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

7d9598d8

Parents:

b77f0e1 (diff), 19a8c40 (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:

• libcfa/src/bits/containers.hfa (modified) (1 diff)

libcfa/src/bits/containers.hfa

@@ -152 +152 @@
 
                 void append( __queue(T) & this, T * val ) with(this) {
+                        verify(get_next( *val ) == 0p);
                         verify(this.tail != 0p);
                         verify(*this.tail == 1p);