From ea47bd124c85e8815db4d29b7268e808dd1e2064 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 4 May 2010 16:37:39 +0100
Subject: [PATCH] more fixes

---
 pl/arith.yap | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pl/arith.yap b/pl/arith.yap
index 3c3989e17..033e45599 100644
--- a/pl/arith.yap
+++ b/pl/arith.yap
@@ -444,19 +444,19 @@ plus(X, Y, Z) :-
         '$plus_error'(X,Y,Z)
        ).
 
-'$plus_error'(X,Y,Z) :
+'$plus_error'(X,Y,Z) :-
        nonvar(X),
        \+ integer(X),
        '$do_error'(type_error(integer, X),plus(X,Y,Z)).
-'$plus_error'(X,Y,Z) :
+'$plus_error'(X,Y,Z) :-
        nonvar(Y),
        \+ integer(Y),
        '$do_error'(type_error(integer, Y),plus(X,Y,Z)).
-'$plus_error'(X,Y,Z) :
+'$plus_error'(X,Y,Z) :-
        nonvar(Z),
        \+ integer(Z),
        '$do_error'(type_error(integer, Z),plus(X,Y,Z)).
-'$plus_error'(X,Y,Z) :
+'$plus_error'(X,Y,Z) :-
        '$do_error'(instantiation_error,plus(X,Y,Z)).