Module: ppl/ppl Branch: master Commit: df9e55f182cd68b1c64a725b0c2eb361bd83ae61 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9e55f182cd6...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 9 23:25:06 2010 +0100
Fixed the omission of ppl_set_irrational_precision/1 and ppl_irrational_precision/1.
---
interfaces/Prolog/XSB/xsb_pl_check.P | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index 56b3fa8..4ae27e9 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -38,6 +38,8 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_Coefficient_min/1, ppl_initialize/0, ppl_finalize/0, + ppl_set_irrational_precision/1, + ppl_irrational_precision/1, ppl_set_timeout_exception_atom/1, ppl_timeout_exception_atom/1, ppl_set_timeout/1,