diff --git a/Nef_2/demo/Nef_2/nef_2.cpp b/Nef_2/demo/Nef_2/nef_2.cpp
index 1109374482a..0dc3821a47d 100644
--- a/Nef_2/demo/Nef_2/nef_2.cpp
+++ b/Nef_2/demo/Nef_2/nef_2.cpp
@@ -22,7 +22,7 @@
 
 #if !defined CGAL_USE_GMP
 #include <iostream>
-int main(int, char*)
+int main()
 {
   std::cout << "Sorry, this demo needs GMP...";
   std::cout << std::endl;