Hi,
I found a typo in the document. Please, apply following patch.
--- /srv/sources/src-released/gprolog-1.3.0/doc/format-defs.tex 2007-01-04
19:21:54.000000000 +0900
+++ /tmp/gprolog-1.3.0/doc/format-defs.tex 2008-08-14 17:03:11.000000000
+0900
@@ -279,7 +279,7 @@
my_pred(X) :-
( nonvar(X) ->
true
- ; throw(error(instantiation_error), my_pred/1)),
+ ; throw(error(instantiation_error, my_pred/1)),
),
( integer(X) ->
true
_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog
