update

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

diff --git a/kernel/fiasco/src/kern/ia32/vm_svm.cpp b/kernel/fiasco/src/kern/ia32/vm_svm.cpp
index bba22bdfc8053c4b856ad9614905f260040de513..5c5ef0d51170163174e1ffb7cf77b39d5de251cd 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/vm_svm.cpp
+++ b/kernel/fiasco/src/kern/ia32/vm_svm.cpp
@@ -165,6 +165,7 @@ PUBLIC inline
 void *
 Vm_svm::operator new (size_t size, void *p)
 {
+  (void)size;
   assert (size == sizeof (Vm_svm));
   return p;
 }