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 ↑
... ...
@@ -118,5 +118,5 @@
118 118
   maxcard.start(x);
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()!");
122 122

	
... ...
@@ -128,5 +128,5 @@
128 128

	
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!");
132 132
 }
0 comments (0 inline)