diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

minor fixes

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1508 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
stasinos 2006-01-10 11:35:27 +00:00
parent 4e1a9d0588
commit 00146978bf
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/yap.tex
View File

@ -4366,7 +4366,7 @@ yes
@item write_depth(@var{T},@var{L}) @item write_depth(@var{T},@var{L})
@findex write_depth/2 @findex write_depth/2
@snindex write_depth/2 @snindex write_depth/2
Same as @code(write_depth(@var{T},@var{L},_)}. Unifies @var{T} with the Same as @code{write_depth(@var{T},@var{L},_)}. Unifies @var{T} with the
value of the maximum depth of a term to be value of the maximum depth of a term to be
written, and @var{L} with the maximum length of a list to write. The written, and @var{L} with the maximum length of a list to write. The
setting will be used by @code{write/1} or @code{write/2}. The default setting will be used by @code{write/1} or @code{write/2}. The default
@ -10729,7 +10729,7 @@ initialised. As an example, we show how to print a bignum:
@example @example
static int static int
p_print_bignum(void) p_print_bignum(void)
{ @{
mpz_t mz; mpz_t mz;
if (!YAP_IsBigNumTerm(YAP_ARG1)) if (!YAP_IsBigNumTerm(YAP_ARG1))
return FALSE; return FALSE;
@ -10739,7 +10739,7 @@ p_print_bignum(void)
gmp_printf("Shows up as %Zd\n", mz); gmp_printf("Shows up as %Zd\n", mz);
mpz_clear(mz); mpz_clear(mz);
return TRUE; return TRUE;
} @}
@end example @end example