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;
     }