Output output_var at the right place with =.

JuliaConstraints · Sep 2, 2021 · 7866175 · 7866175 · dourouc05 · Sep 6, 2021
1 parent c8be983
commit 7866175
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/FlatZinc/export.jl b/src/FlatZinc/export.jl
@@ -84,17 +84,17 @@ end
 # Variable printing.
 
 function write_variable(io::IO, name::String, s::MOI.EqualTo{Float64})
-    print(io, "var float: $(name) = $(s.value) :: output_var;")
+    print(io, "var float: $(name) :: output_var = $(s.value);")
     return nothing
 end
 
 function write_variable(io::IO, name::String, s::MOI.EqualTo{Int})
-    print(io, "var int: $(name) = $(s.value) :: output_var;")
+    print(io, "var int: $(name) :: output_var = $(s.value);")
     return nothing
 end
 
 function write_variable(io::IO, name::String, s::MOI.EqualTo{Bool})
-    print(io, "var bool: $(name) = $(s.value) :: output_var;")
+    print(io, "var bool: $(name) :: output_var = $(s.value);")
     return nothing
 end