# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1545827981 0
# Node ID 54f72ee52708da521c23934dcbbddd77cdf1bb13
# Parent  fc23bca885f81e363fbdcbb9b604a4c9c98e0dbb
remove debugging printf() introduced in previous commits

diff -r fc23bca885f8 -r 54f72ee52708 stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Wed Dec 26 12:02:13 2018 +0000
+++ b/stage4/generate_c/generate_c.cc	Wed Dec 26 12:39:41 2018 +0000
@@ -679,7 +679,6 @@
         overflow = ((ULL_MAX / least_common_ticktime) < (time / common_ticktime));
         least_common_ticktime = least_common_ticktime * (time / common_ticktime);
       }
-      fprintf(stderr, "time=%llu  least_common_ticktime=%llu  common_ticktime=%llu\n", time, least_common_ticktime, common_ticktime );
       return !overflow;
     }