From 7175b62a2790652f762873c2e1ab609f488ef1af Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Sat, 15 Oct 2005 02:43:59 +0000
Subject: [PATCH] fix manual on bigint interface

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1400 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 docs/yap.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/yap.tex b/docs/yap.tex
index 491d826c4..988bb7250 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -13529,6 +13529,7 @@ The following primitives are provided for verifying whether a term is
 a big int, creating a term from a big integer and to access the value
 of a big int from a term.
 @example
+      YAP_Bool YAP_IsBigNumTerm(YAP_Term @var{t})
       YAP_Term YAP_MkBigNumTerm(YAP_Int  @var{i})
       YAP_Int  YAP_BigNumOfTerm(YAP_Term @var{t})
 @end example