Use C++ header

Performed using modernize-deprecated-headers from clang-tidy. https://clang.llvm.org/extra/clang-tidy/checks/modernize-deprecated-headers.html
2018-06-04 11:59:02 +02:00 · 2018-06-04 11:59:02 +02:00 · 80d1e1e1fd
parent 28582c4a4b
commit 80d1e1e1fd
1 changed files with 1 additions and 1 deletions
--- a/src/CodeInterpreter.hh
+++ b/src/CodeInterpreter.hh
@ -38,7 +38,7 @@
 # endif
 #endif

-#include <stdint.h>
+#include <cstdint>

 #define NEAR_ZERO (1e-12)