update

[l4.git] / kernel / fiasco / src / kern / ia32 / vm_vmx.cpp

diff --git a/kernel/fiasco/src/kern/ia32/vm_vmx.cpp b/kernel/fiasco/src/kern/ia32/vm_vmx.cpp
index a0b594dd474e5906f932197a16ddc3f2ea877a6e..89dc1842ae3585683870a19e86a294b609ec216f 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/vm_vmx.cpp
+++ b/kernel/fiasco/src/kern/ia32/vm_vmx.cpp
@@ -43,6 +43,7 @@ PUBLIC inline
 void *
 Vm_vmx::operator new (size_t size, void *p)
 {
+  (void)size;
   assert (size == sizeof (Vm_vmx));
   return p;
 }