Remove incorrect closing bracket from JSON output. Fixes #154.

MiniZinc · Mar 28, 2017 · f90ec5d · f90ec5d
1 parent 25a2fea
commit f90ec5d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/lib/output.cpp b/lib/output.cpp
@@ -599,10 +599,6 @@ namespace MiniZinc {
           assert(fi);
           show->decl(fi);
           outputVars.push_back(show);
-          if (vd->type().dim() > 0) {
-            StringLit* eol = new StringLit(Location().introduce(),")");
-            outputVars.push_back(eol);
-          }
         }
       }
       void vOutputI(OutputI* oi) {