fix wrong common_ticktime if task interval is greater than 4.3 seconds
authorandrej.skvortzov@gmail.com
Wed, 12 Apr 2017 08:44:42 +0100
changeset 1039 52f63e622604
parent 1038 036f15e4041d
child 1049 4d7183013481
fix wrong common_ticktime if task interval is greater than 4.3 seconds
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);