From 80d1e1e1fd3d0a6a5557e4e1a0ffbeee6c5390fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Mon, 4 Jun 2018 11:59:02 +0200
Subject: [PATCH] Use C++ header

Performed using modernize-deprecated-headers from clang-tidy.

https://clang.llvm.org/extra/clang-tidy/checks/modernize-deprecated-headers.html
---
 src/CodeInterpreter.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/CodeInterpreter.hh b/src/CodeInterpreter.hh
index 46bcc1a2..8de750a7 100644
--- a/src/CodeInterpreter.hh
+++ b/src/CodeInterpreter.hh
@@ -38,7 +38,7 @@
 # endif
 #endif
 
-#include <stdint.h>
+#include <cstdint>
 
 #define NEAR_ZERO (1e-12)