# HG changeset patch
# User andrej.skvortzov@gmail.com
# Date 1491983082 -3600
# Node ID 52f63e622604033da988c0ef1c2a5e06c678395c
# Parent  036f15e4041da29904e1261f2d3ca04a0c050ef5
fix wrong common_ticktime if task interval is greater than 4.3 seconds

diff -r 036f15e4041d -r 52f63e622604 stage4/generate_c/generate_c.cc
--- 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);