From 37215b03bc9e604387f4d32990b0ba5d30e62a1f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 29 May 2013 18:18:24 -0700
Subject: [PATCH] Remove redundant register_on_timeout_proc

Signed-off-by: Leonardo de Moura <leonardo@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 ef0b4ad6b..a005462e2 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -103,7 +103,6 @@ unsigned read_smtlib2_commands(char const * file_name) {
     install_subpaving_cmds(ctx);
 
     g_cmd_context = &ctx;
-    register_on_timeout_proc(on_timeout);
     signal(SIGINT, on_ctrl_c);
     
     bool result = true;