From d7d22cad0229cfecd310839e3d2ba4cb102beaf8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 9 Jul 2016 05:38:03 -0700
Subject: [PATCH] undo comment

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_ast.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp
index 31535e5f4..cfe082802 100644
--- a/src/api/api_ast.cpp
+++ b/src/api/api_ast.cpp
@@ -989,7 +989,7 @@ extern "C" {
             case OP_TO_INT: return Z3_OP_TO_INT;
             case OP_IS_INT: return Z3_OP_IS_INT;
             default:
-                //UNREACHABLE();
+                UNREACHABLE();
                 return Z3_OP_UNINTERPRETED;
             }
         }