Fix compile on 64bit linux

diff --git a/vm/platform.h b/vm/platform.h
index a3b7350b698d80cbd587e8f87910705d166cb4e7..d5687b849d633cd5b09b51f76420b70a8369208e 100644 (file)
--- a/vm/platform.h
+++ b/vm/platform.h
@@ -72,7 +72,6 @@
                        #elif defined(FACTOR_ARM)
                                #include "os-linux-arm.h"
                        #elif defined(FACTOR_AMD64)
-                               #include "os-unix-ucontext.h"
                                #include "os-linux-x86-64.h"
                        #else
                                #error "Unsupported Linux flavor"