diff --git a/mps/code/vmix.c b/mps/code/vmix.c
index f5b8aa681b3..30a2cc672fc 100644
--- a/mps/code/vmix.c
+++ b/mps/code/vmix.c
@@ -98,9 +98,6 @@ Bool VMCheck(VM vm)
 }
 
 
-Res VM
-
-
 /* VMCreate -- reserve some virtual address space, and create a VM structure */
 
 Res VMCreate(VM *vmReturn, Size size, mps_arg_s args[])