* Moved all files from vmcore/ to vm/.

[cacao.git] / src / vm / jit / verify / typecheck-typeinferer.c

diff --git a/src/vm/jit/verify/typecheck-typeinferer.c b/src/vm/jit/verify/typecheck-typeinferer.c
index 3c4776d948f64ade60338a21122741f348888c29..1cfeba69da3483b2484e7b0e57817c183671a10c 100644 (file)
--- a/src/vm/jit/verify/typecheck-typeinferer.c
+++ b/src/vm/jit/verify/typecheck-typeinferer.c
@@ -35,10 +35,13 @@
 
 #include "toolbox/logging.h"
 
-#include "vm/array.h"
 #include "vm/access.h"
+#include "vm/array.h"
 #include "vm/builtin.h"
 #include "vm/exceptions.hpp"
+#include "vm/globals.hpp"
+#include "vm/loader.h"
+#include "vm/options.h"
 #include "vm/primitive.hpp"
 #include "vm/resolve.h"
 #include "vm/vm.hpp"
@@ -49,10 +52,6 @@
 
 #include "vm/jit/verify/typecheck-typeinferer.h"
 
-#include "vmcore/globals.hpp"
-#include "vmcore/loader.h"
-#include "vmcore/options.h"
-
 #define TYPECHECK_NO_STATISTICS
 #include <typecheck-common.h>