[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[imp-commit] r22940 - trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type

Author: jvinju
Date: 2011-10-07 05:20:22 -0400 (Fri, 07 Oct 2011)
New Revision: 22940

Modified:
   trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java
Log:
ouch, Mark Hills found this annoying type in lubTupleTypes which would lead to lub removing labels

Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java	2011-10-07 09:10:18 UTC (rev 22939)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java	2011-10-07 09:20:22 UTC (rev 22940)
@@ -177,7 +177,7 @@
     		if (t1.hasFieldNames()) {
     			fieldNames[i] = t1.getFieldName(i);
     		}
-    		else if (t1.hasFieldNames()) {
+    		else if (t2.hasFieldNames()) {
     			fieldNames[i] = t2.getFieldName(i);
     		}
     	}