Deal with buggy GPU timers that go backwards.

diff --git a/flow.cpp b/flow.cpp
index 05ddfcf2bc370c9b5b3109e8a97782bb14287821..6decf73ca673739bfae79a96e3ca6e0a0b69d3df 100644 (file)
--- a/flow.cpp
+++ b/flow.cpp
@@ -913,7 +913,7 @@ void GPUTimers::print()
                for (int i = 0; i < timer.level * 2; ++i) {
                        fprintf(stderr, " ");
                }
-               fprintf(stderr, "%-30s %4.1f ms\n", timer.name.c_str(), (time_end - time_start) / 1e6);
+               fprintf(stderr, "%-30s %4.1f ms\n", timer.name.c_str(), GLint64(time_end - time_start) / 1e6);
        }
 }