From f1dee935d05356e05e94480f88b723e6fc0f5621 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 30 May 2019 17:07:00 -0700
Subject: [PATCH] remove UNREACHABLE

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

diff --git a/src/sat/sat_solver/inc_sat_solver.cpp b/src/sat/sat_solver/inc_sat_solver.cpp
index 4e87bda951c..d1a3a01c5f1 100644
--- a/src/sat/sat_solver/inc_sat_solver.cpp
+++ b/src/sat/sat_solver/inc_sat_solver.cpp
@@ -337,7 +337,6 @@ class inc_sat_solver : public solver {
     }
 
     proof * get_proof() override {
-        UNREACHABLE();
         return nullptr;
     }