diff --git a/H/arith2.h b/H/arith2.h
index 92f0c404f..1e2babeb7 100644
--- a/H/arith2.h
+++ b/H/arith2.h
@@ -402,8 +402,8 @@ p_div(Term t1, Term t2) {
       RERROR();
     }
   case db_ref_e:
-    RERROR();
 #endif
+    RERROR();
   }
   RERROR();
 }