diff --git a/pl/arith.yap b/pl/arith.yap
index 8e265806b..b6ae53bc8 100644
--- a/pl/arith.yap
+++ b/pl/arith.yap
@@ -367,7 +367,7 @@ between(I,M,J) :-
 	   integer(J)
 	  ->
 	   J >= I
-	  ->
+	  ;
 	   '$do_error'(type_error(integer, J),between(I,M,J))
 	  )
 	 ;