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 ↑
... ...
@@ -117,7 +117,7 @@
117 117
   maxcard.addSource(s);
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

	
123 123
   a=maxcard.nextNode();
... ...
@@ -127,7 +127,7 @@
127 127
   check(maxcard.processed(a), "Wrong processNextNode()!");
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
 }
133 133

	
0 comments (0 inline)