From ed4b76ddc60a1b9488599708e5933ffbc36132c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 17:20:25 +0000
Subject: [PATCH] ??

---
 pl/arithpreds.yap | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/pl/arithpreds.yap b/pl/arithpreds.yap
index 069d349be..9f95e0f1f 100644
--- a/pl/arithpreds.yap
+++ b/pl/arithpreds.yap
@@ -22,7 +22,7 @@
 
   @addtogroup arithmetic_preds
 
-  
+
 */
 
 :- system_module(arithmetic_predicates, [
@@ -41,7 +41,7 @@
   a negative integer. E.g. `succ(X, 0)` fails silently and `succ(X, -1)`
   raises a domain-error. The behaviour to deal with natural numbers
   only was defined by Richard O'Keefe to support the common
-  count-down-to-zero in a natural way. 
+  count-down-to-zero in a natural way.
 
   */
 
@@ -167,5 +167,3 @@ plus(X, Y, Z) :-
        '$do_error'(type_error(integer, Z),plus(X,Y,Z)).
 '$plus_error'(X,Y,Z) :-
        '$do_error'(instantiation_error,plus(X,Y,Z)).
-
-