From c8931a7bba6e9250e5c92d4c520ecfcf6a51f5d3 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 30 Dec 2015 15:50:46 +0000
Subject: [PATCH] remove unused decl

Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
---
 src/shell/smtlib_frontend.cpp | 1 -
 1 file changed, 1 deletion(-)

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;