diff --git a/src/goto-cc/gcc_mode.cpp b/src/goto-cc/gcc_mode.cpp
index ba815c2ce85..ce3ebc6bc4d 100644
--- a/src/goto-cc/gcc_mode.cpp
+++ b/src/goto-cc/gcc_mode.cpp
@@ -364,7 +364,6 @@ int gcc_modet::doit()
   compilet compiler(cmdline,
                     gcc_message_handler,
                     cmdline.isset("Werror") &&
-                    cmdline.isset("Wextra") &&
                     !cmdline.isset("Wno-error"));
 
   if(cmdline.isset("version"))