Changeset 1110 for to-imperative/trunk/library/Class/int_q.cc

Timestamp:

Aug 6, 2003, 5:46:54 PM (17 years ago)

Author:

luba

Message:

• uses type_int32

File:

• to-imperative/trunk/library/Class/int_q.cc (modified) (1 diff)

to-imperative/trunk/library/Class/int_q.cc

@@ -19 +19 @@
     Term* p = e_Exp.get_first();
     unsigned t = p->get_type();
-    if (t != type_int && t != type_short_int) 
+    if (t != type_int && t != type_int32) 
       retfail;
   }