aboutsummaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2014-09-16 02:22:13 +0000
committerdos-reis <gdr@axiomatics.org>2014-09-16 02:22:13 +0000
commit9597e28e398bddfc64e55b3c03c62325ba18b959 (patch)
tree9d7f35e6b1525826f4244290814f5eb5eb7f58b3 /src/include
parent0e93235b14a64463aa127a64b0a867ce48885ce2 (diff)
downloadopen-axiom-9597e28e398bddfc64e55b3c03c62325ba18b959.tar.gz
Tidy all-boot dependencies.
Diffstat (limited to 'src/include')
-rw-r--r--src/include/vm.H4
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>