From c7591e3c99c2681130dbb2bd15d14c95baa8c733 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 24 Feb 2017 11:13:08 -0800
Subject: [PATCH] remove unreferenced label

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/tactic/smt_tactic.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/tactic/smt_tactic.cpp b/src/smt/tactic/smt_tactic.cpp
index 127595e9e..eef22fe06 100644
--- a/src/smt/tactic/smt_tactic.cpp
+++ b/src/smt/tactic/smt_tactic.cpp
@@ -241,7 +241,6 @@ public:
                 return;
             }
             case l_undef:
-            undef_case:
                 if (m_ctx->canceled()) {
                     throw tactic_exception(Z3_CANCELED_MSG);
                 }