diff options
| author | dos-reis <gdr@axiomatics.org> | 2014-09-16 02:22:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2014-09-16 02:22:13 +0000 |
| commit | 9597e28e398bddfc64e55b3c03c62325ba18b959 (patch) | |
| tree | 9d7f35e6b1525826f4244290814f5eb5eb7f58b3 /src/include/vm.H | |
| parent | 0e93235b14a64463aa127a64b0a867ce48885ce2 (diff) | |
| download | open-axiom-9597e28e398bddfc64e55b3c03c62325ba18b959.tar.gz | |
Tidy all-boot dependencies.
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> |