Fix build error on Linux due to missing <stdint.h> include

This closes #662.
This commit is contained in:
Hugo Locurcio 2021-01-07 18:57:03 +01:00
parent 46abf34850
commit 15c7549830
No known key found for this signature in database
GPG key ID: 39E8F8BE30B0A49C

View file

@ -26,6 +26,8 @@
#include <pthread.h>
#endif
#include <stdint.h>
#include "cmdlib.h"
#include "mathlib.h"
#include "inout.h"