Skip to content

Commit 287b917

Browse files
committed
Update FlatZinc.jl
1 parent 2f141af commit 287b917

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

test/FlatZinc/FlatZinc.jl

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -143,14 +143,14 @@
143143
write(io, m)
144144
fzn = String(take!(io))
145145

146-
@test fzn == """var -1.7976931348623157e308..0.0: x2;
147-
var float: x3 = 0.0;
148-
var 0.0..1.0: x4;
149-
var -9223372036854775808..0: x6;
150-
var int: x7 = 0;
151-
var 0..1: x8;
152-
var bool: x9 = false;
153-
var float: x10;
146+
@test fzn == """var -1.7976931348623157e308..0.0: x1;
147+
var float: x2 = 0.0;
148+
var 0.0..1.0: x3;
149+
var -9223372036854775808..0: x4;
150+
var int: x5 = 0;
151+
var 0..1: x6;
152+
var bool: x7 = false;
153+
var float: x8;
154154
155155
156156

0 commit comments

Comments
 (0)