[PPL-devel] [GIT] ppl/ppl(devel): Fixed typos in Prolog documentation for ppl_Pointset_Powerset predicates.

[Patricia Hill]

Module: ppl/ppl
Branch: devel
Commit: f41d7c42ac9dadb807fb6a499d8d083125cbc345
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41d7c42ac9dadb807fb6a499d8d083125cbc345

Author: Patricia Hill <patricia.hill at bugseng.com>
Date:   Tue Aug  8 20:06:17 2017 +0100

Fixed typos in Prolog documentation for ppl_Pointset_Powerset predicates.

---

 .../Prolog/Prolog_interface_sysindep_domains.dox   |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
index d868ad3..9d4d273 100644
--- a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
+++ b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
@@ -812,15 +812,15 @@ on these iterators and disjuncts via the usual handles.
    \c Iterator_1 is equal to the iterator referenced by
    \c Iterator_2.</EM>
 
-<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_increment(+Iterator)</CODE><BR>
+<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_increment_iterator(+Iterator)</CODE><BR>
   <EM>Increments the iterator referenced by \c Iterator
   so that it "points" to the next disjunct.</EM>
 
-<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_decrement(+Iterator)</CODE><BR>
+<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_decrement_iterator(+Iterator)</CODE><BR>
   <EM>Decrements the iterator referenced by \c Iterator
   so that it "points" to the previous disjunct.</EM>
 
-<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_get_disjunct(+Iterator, -Handle)</CODE><BR>
+<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_get_disjunct(+Iterator, -Handle)</CODE><BR>
   <EM>Unifies with \c Handle a reference to the disjunct referred
   to by \c Iterator_1.</EM>