diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index 834fe4429..6c4c01ab0 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -33,7 +33,6 @@ Revision History:
 #include"smt_solver.h"
 
 extern bool g_display_statistics;
-extern void display_config();
 static clock_t             g_start_time;
 static smtlib::solver*     g_solver      = 0;
 static cmd_context *       g_cmd_context = 0;