[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Fix a typo in gprolog-1.3.0/doc/format-defs.tex
|
From: |
Masatake YAMATO |
|
Subject: |
Fix a typo in gprolog-1.3.0/doc/format-defs.tex |
|
Date: |
Thu, 14 Aug 2008 17:06:17 +0900 (JST) |
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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Fix a typo in gprolog-1.3.0/doc/format-defs.tex,
Masatake YAMATO <=