Fix enum type inference for array literals with empty sets as their f…

…irst arguments. Fixes #180.
MiniZinc · Jan 8, 2018 · 4c38fa2 · 4c38fa2
1 parent 7c418d0
commit 4c38fa2
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/lib/typecheck.cpp b/lib/typecheck.cpp
@@ -760,16 +760,13 @@ namespace MiniZinc {
               if (ty.st() != vi->type().st()) {
                 throw TypeError(_env,al.loc(),"non-uniform array literal");
               }
-              if (ty.enumId() != vi->type().enumId()) {
-                ty.enumId(0);
-              }
             } else {
               haveInferredType = true;
               ty.st(vi->type().st());
-              ty.enumId(vi->type().enumId());
             }
             if (vi->type().bt() != Type::BT_BOT) {
               ty.bt(vi->type().bt());
+              ty.enumId(vi->type().enumId());
             }
           }
         } else {