--- a/stage4/generate_c/generate_c.cc	Sun Apr 09 23:43:04 2017 +0100
+++ b/stage4/generate_c/generate_c.cc	Wed Apr 12 08:44:42 2017 +0100
@@ -1597,7 +1597,7 @@
     stage4out_c *s4o_ptr;
 
   public:
-    generate_c_resources_c(stage4out_c *s4o_ptr, symbol_c *config_scope, symbol_c *resource_scope, unsigned long time)
+    generate_c_resources_c(stage4out_c *s4o_ptr, symbol_c *config_scope, symbol_c *resource_scope, unsigned long long time)
       : generate_c_base_and_typeid_c(s4o_ptr) {
       current_configuration = config_scope;
       search_config_instance   = new search_var_instance_decl_c(config_scope);