diff -r 21be0f2f242d -r 2b4e69c7ff8b stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Sat Apr 14 16:44:53 2012 +0100
+++ b/stage4/generate_c/generate_c.cc	Sat Apr 14 16:53:35 2012 +0100
@@ -2238,7 +2238,7 @@
         s4o.print(".");
         symbol->symbolic_variable->accept(*this);
         s4o.print(" = ");
-        if (vartype || search_var_instance_decl_c::global_vt)
+        if (vartype == search_var_instance_decl_c::global_vt)
           s4o.print("*");
         symbol->prog_data_source->accept(*this);
         s4o.print(";}\n");
@@ -2269,7 +2269,7 @@
         s4o.print(" *");
         symbol->data_sink->accept(*this);
         s4o.print("; ");
-        if (vartype || search_var_instance_decl_c::global_vt)
+        if (vartype == search_var_instance_decl_c::global_vt)
           s4o.print("*");
         symbol->data_sink->accept(*this);
         s4o.print(" = ");