gravatar
kpeter (Peter Kovacs)
kpeter@inf.elte.hu
Fix windows-specific compilation error (#429)
0 1 0
default
1 file changed with 2 insertions and 2 deletions:
↑ Collapse diff ↑
... ...
@@ -119,3 +119,3 @@
119 119

	
120
   check(maxcard.processed(s) and !maxcard.processed(x) and
120
   check(maxcard.processed(s) && !maxcard.processed(x) &&
121 121
         !maxcard.processed(y), "Wrong processed()!");
... ...
@@ -129,3 +129,3 @@
129 129
   maxcard.start();
130
   check(maxcard.cardinality(x)==2 and maxcard.cardinality(y)>=4,
130
   check(maxcard.cardinality(x)==2 && maxcard.cardinality(y)>=4,
131 131
         "Wrong cardinalities!");
0 comments (0 inline)