remove UNREACHABLE

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · May 31, 2019 · f1dee93 · f1dee93
1 parent f11cb77
commit f1dee93
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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;
     }