diff -r 873a5b60a7ea -r 8998c8b24b60 stage4/generate_cc/generate_cc_base.cc
--- a/stage4/generate_cc/generate_cc_base.cc	Thu Jul 12 11:24:32 2007 +0200
+++ b/stage4/generate_cc/generate_cc_base.cc	Fri Jul 13 19:20:26 2007 +0200
@@ -194,13 +194,12 @@
    	}
 
     void *print_compare_function(const char *function,
-          const char *compare_sign,
+          symbol_c *compare_type,
           symbol_c *l_exp,
           symbol_c *r_exp) {
       s4o.print(function);
-      s4o.print("(");
-      s4o.print(compare_sign);
-      s4o.print(", ");
+      compare_type->accept(*this);
+      s4o.print("(2, ");
       l_exp->accept(*this);
       s4o.print(", ");
       r_exp->accept(*this);