wrong header

2023-10-23 08:25:36 -04:00
parent 112c1b8e48
commit 0b9030b1ed
1 changed files with 1 additions and 1 deletions
@@ -14,7 +14,7 @@
 #else
  #include <unistd.h>
 #endif
-#include <stdint.h>
+#include <cstdint>

 IGL_INLINE std::string igl::path_to_executable()
 {