mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-28 08:58:44 +00:00
Code Activity

remove unused decl

Browse source 
Signed-off-by: Nuno Lopes <nlopes@microsoft.com>
This commit is contained in:
Nuno Lopes 2015-12-30 15:50:46 +00:00
parent 03afedafaf
commit c8931a7bba
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/shell/smtlib_frontend.cpp
View file

@ -33,7 +33,6 @@ Revision History:
#include"smt_solver.h" #include"smt_solver.h"
extern bool g_display_statistics; extern bool g_display_statistics;
extern void display_config();
static clock_t g_start_time; static clock_t g_start_time;
static smtlib::solver* g_solver = 0; static smtlib::solver* g_solver = 0;
static cmd_context * g_cmd_context = 0; static cmd_context * g_cmd_context = 0;