Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/marian-nmt/marian.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/common/timer.h')
-rw-r--r--src/common/timer.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/common/timer.h b/src/common/timer.h
index ac83b363..d03c0cc7 100644
--- a/src/common/timer.h
+++ b/src/common/timer.h
@@ -3,6 +3,7 @@
#include <iostream>
#include <sstream>
#include <chrono>
+#include <ctime>
namespace marian {
namespace timer {