Use equivTypes function instead of equality

This fixes #3518. Equality does not take into consideration that the source information might be different for two types.
OpenModelica · Nov 3, 2015 · 1034be4 · 1034be4
1 parent 728d95d
commit 1034be4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Compiler/FrontEnd/Types.mo b/Compiler/FrontEnd/Types.mo
@@ -5125,7 +5125,7 @@ algorithm
       equation
         false = isArray(t1);
         false = isArray(t2);
-        equality(t1 = t2);
+        true = equivtypes(t1,t2);
         c = constAnd(c1, c2);
       then
         DAE.PROP(t1,c);