diff --git a/Number_types/include/CGAL/FPU.h b/Number_types/include/CGAL/FPU.h
index 3cdcd682981..41f67f940dc 100644
--- a/Number_types/include/CGAL/FPU.h
+++ b/Number_types/include/CGAL/FPU.h
@@ -486,7 +486,8 @@ FPU_CW_t
 FPU_get_cw (void)
 {
 #ifdef CGAL_ALWAYS_ROUND_TO_NEAREST
-    CGAL_assertion_code(FPU_CW_t cw; CGAL_IA_GETFPCW(cw);)
+    FPU_CW_t cw;
+    CGAL_IA_GETFPCW(cw);
     CGAL_assertion_code(FPU_CW_t mask = CGAL_FE_ROUNDING_MASK;)
     CGAL_assertion((cw & mask) == (CGAL_FE_TONEAREST & mask));
     return cw;