Changeset 4369

Timestamp:

07/13/08 08:50:13 (6 months ago)

Author:

pmoura

Message:

Corrected a typo in the exception terms throw by the built-in method assertz/1 when an error occurs while trying to assert a fact.

Location:

trunk

Files:

• compiler/logtalk.pl (modified) (1 diff)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -2319 +2319 @@
         ;   % predicate is not within the scope of the sender:
             (   Scope == p ->
-                throw(error(permission_error(modify, private_predicate, Head), Obj::asserta(Head), Sender))
-            ;   throw(error(permission_error(modify, protected_predicate, Head), Obj::asserta(Head), Sender))
+                throw(error(permission_error(modify, private_predicate, Head), Obj::assertz(Head), Sender))
+            ;   throw(error(permission_error(modify, protected_predicate, Head), Obj::assertz(Head), Sender))
             )
         )
     ;   % predicate is static:
-        throw(error(permission_error(modify, static_predicate, Head), Obj::asserta(Head), Sender))
+        throw(error(permission_error(modify, static_predicate, Head), Obj::assertz(Head), Sender))
     ).
 

trunk/RELEASE_NOTES.txt

@@ -34 +34 @@
     implementation of this feature easier to maintain and contributing to 
     smaller code sizes of the intermediate Prolog files.
+
+    Corrected a typo in the exception terms throw by the built-in method 
+    assertz/1 when an error occurs while trying to assert a fact.
 
     Changed the valid values of the read-only compiler flag "break_predicate"