diff --git a/STL_Extension/include/CGAL/assertions.h b/STL_Extension/include/CGAL/assertions.h
index e7357ecd8d1..45d513d9f5f 100644
--- a/STL_Extension/include/CGAL/assertions.h
+++ b/STL_Extension/include/CGAL/assertions.h
@@ -79,6 +79,13 @@ inline bool possibly(Uncertain<bool> c);
 #  define CGAL_destructor_assertion_catch(CODE) CODE
 #  define CGAL_assertion_msg(EX,MSG) (static_cast<void>(0))
 #  define CGAL_assertion_code(CODE)
+#  ifdef CGAL_ASSUME
+#    define CGAL_assume(EX) CGAL_ASSUME(EX)
+#    define CGAL_assume_code(CODE) CODE
+#  else // not def CGAL_ASSUME
+#    define CGAL_assume(EX)  CGAL_assertion(EX)
+#    define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
+#  endif // not def CGAL_ASSUME
 #else // no CGAL_NO_ASSERTIONS
 #  define CGAL_ASSERTIONS_ENABLED true
 #  define CGAL_assertion(EX) \
@@ -95,16 +102,10 @@ inline bool possibly(Uncertain<bool> c);
 #  define CGAL_assertion_msg(EX,MSG)                                    \
    (CGAL::possibly(EX)?(static_cast<void>(0)): ::CGAL::assertion_fail( # EX , __FILE__, __LINE__, MSG))
 #  define CGAL_assertion_code(CODE) CODE
+#  define CGAL_assume(EX) CGAL_assertion(EX)
+#  define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
 #endif // no CGAL_NO_ASSERTIONS
 
-#  ifdef CGAL_ASSUME
-#    define CGAL_assume(EX) CGAL_ASSUME(EX)
-#    define CGAL_assume_code(CODE) CODE
-#  else // not def CGAL_ASSUME
-#    define CGAL_assume(EX)  CGAL_assertion(EX)
-#    define CGAL_assume_code(CODE) CGAL_assertion_code(CODE)
-#  endif // CGAL_ASSUME
-
 #  ifdef CGAL_UNREACHABLE
 #    define CGAL_unreachable() CGAL_UNREACHABLE()
 #  else // not def CGAL_UNREACHABLE