Index: libcfa/src/bits/sequence.hfa
===================================================================
--- libcfa/src/bits/sequence.hfa	(revision d0502a3aee721f5f4e468913c7db6c2aab56025c)
+++ libcfa/src/bits/sequence.hfa	(revision 81ab5ebb3b497e7c713dd340f479f3d7e803ea4a)
@@ -65,5 +65,5 @@
 		void ?{}( Sequence(T) & s ) with( s ) {
 			((Collection &)s){};
-		}	// post: isEmpty()
+		}	// post: empty()
 	}