diff --git a/H/arith2.h b/H/arith2.h
index 404267b19..c80359f0c 100644
--- a/H/arith2.h
+++ b/H/arith2.h
@@ -133,8 +133,8 @@ do_sll(Int i, Int j)
 #ifdef USE_GMP
   if (sl_overflow(i,j)) {
     return Yap_gmp_sll_ints(i, j);
-#endif
   }
+#endif
   RINT(i << j);
 }