Index: src/utils/random-number-generator.cc |
diff --git a/src/utils/random-number-generator.cc b/src/utils/random-number-generator.cc |
index fe273315a7aad80bc3417de69458ef8a1d85dd15..d40102f91f4e625b3db7e2203cebb34ba2b436bb 100644 |
--- a/src/utils/random-number-generator.cc |
+++ b/src/utils/random-number-generator.cc |
@@ -27,8 +27,8 @@ |
#include "utils/random-number-generator.h" |
-#include <cstdio> |
-#include <cstdlib> |
+#include <stdio.h> |
+#include <stdlib.h> |
#include "flags.h" |
#include "platform/mutex.h" |