diff --git a/regression/ebmc/ic3/not_supported3.desc b/regression/ebmc/ic3/not_supported3.desc
index bf68c6f3..d31d3a54 100644
--- a/regression/ebmc/ic3/not_supported3.desc
+++ b/regression/ebmc/ic3/not_supported3.desc
@@ -2,6 +2,6 @@ CORE
 not_supported3.sv
 --ic3
 ^no support for assumptions$
-^EXIT=1$
+^EXIT=10$
 ^SIGNAL=0$
 --
diff --git a/src/ic3/m1ain.cc b/src/ic3/m1ain.cc
index 36e63f03..c4cbf21c 100644
--- a/src/ic3/m1ain.cc
+++ b/src/ic3/m1ain.cc
@@ -111,7 +111,7 @@ property_checker_resultt ic3_enginet::operator()()
       if(property.is_assumed())
       {
         message.error() << "no support for assumptions" << messaget::eom;
-        return 1;
+        return property_checker_resultt::error();
       }
     }