Fix a typo in gprolog-1.3.0/doc/format-defs.tex
Masatake YAMATO <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Organization | Red Hat Japan, Inc. |
| Message-ID | <[email protected]> |
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