Module: ppl/ppl Branch: master Commit: 1a2efa7ce4e67c1fe02325d30bbf7b4eb30e19b9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2efa7ce4e67...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:27:30 2012 +0100

Typos fixed.

---

interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/Prolog_interface_sysindep.dox b/interfaces/Prolog/Prolog_interface_sysindep.dox index aae70c3..f90ef98 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep.dox @@ -276,7 +276,7 @@ The specification uses the following grammar rules:

Complexity --> polynomial | simplex | any

- Vars_Pair --> PPLVar - PPLVar map relation + Vars_Pair --> PPL_Var - PPL_Var map relation

P_Func --> [] list of map relations | [Vars_Pair | P_Func].