diff options
Diffstat (limited to 'src/include/vm.H')
| -rw-r--r-- | src/include/vm.H | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/include/vm.H b/src/include/vm.H index d321835f..3528bf27 100644 --- a/src/include/vm.H +++ b/src/include/vm.H @@ -38,10 +38,8 @@ #define OPENAXIOM_VM_included #include <open-axiom/storage> -#if HAVE_STDINT_H -# include <stdint.h> -#endif #include <open-axiom/string-pool> +#include <stdint.h> #include <utility> #include <map> #include <set> |