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

Author: jvinju
Date: 2011-08-30 02:56:18 -0400 (Tue, 30 Aug 2011)
New Revision: 22933

Modified:
   trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/RationalType.java
Log:
* fixed bug in rational type (toString returned "rational" instead of the "rat")

Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/RationalType.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/RationalType.java	2011-08-09 19:36:34 UTC (rev 22932)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/RationalType.java	2011-08-30 06:56:18 UTC (rev 22933)
@@ -70,7 +70,7 @@
 
     @Override
     public String toString() {
-        return "rational";
+        return "rat";
     }
     
     @Override