diff --git a/mps/code/vmw3.c b/mps/code/vmw3.c
index 13c62b17c7e..42dba43594f 100644
--- a/mps/code/vmw3.c
+++ b/mps/code/vmw3.c
@@ -96,7 +96,6 @@ Res VMInit(VM vm, Size size, Size grainSize, void *params)
 {
   LPVOID vbase;
   Size pageSize, reserved;
-  Res res;
   VMParams vmParams = params;
 
   AVER(vm != NULL);