Changes in libcfa/src/bits/containers.hfa [d0502a3:be5f0a5]

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);