stage4/generate_c/generate_c_st.cc
changeset 220 f332b62cd2c1
parent 217 f5dfadf5de54
child 221 c6aed7e5f070
--- a/stage4/generate_c/generate_c_st.cc	Mon Nov 30 15:36:12 2009 +0100
+++ b/stage4/generate_c/generate_c_st.cc	Tue Dec 01 09:03:33 2009 +0100
@@ -608,13 +608,12 @@
         }
         if (param_value == NULL) ERROR;
         s4o.print("(");
-        if (search_expression_type->is_literal_integer_type(param_type) ||
-            search_expression_type->is_literal_real_type(param_type)) {
-        	if (function_type_suffix == NULL) ERROR;
-        	function_type_suffix->accept(*this);
-        }
+        if (search_expression_type->is_literal_integer_type(param_type))
+          search_expression_type->lint_type_name.accept(*this);
+        else if (search_expression_type->is_literal_real_type(param_type))
+          search_expression_type->lreal_type_name.accept(*this);
         else
-        	param_type->accept(*this);
+          param_type->accept(*this);
         s4o.print(")");
         print_check_function(param_type, param_value);
         nb_param++;