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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Apr 2 13:00:27 2010 +0100

Type fixed.

---

.../Artificial_Parameter_Sequence.java | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java b/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java index 9fac898..c8dd38f 100644 --- a/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java +++ b/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java @@ -28,7 +28,7 @@ import java.io.IOException; //! A sequence of artificial parameters. /*! \ingroup PPL_Java_interface An object of the class Artificial_Parameter_Sequence is a - sequence of atrtificial parameters. + sequence of artificial parameters. */ public class Artificial_Parameter_Sequence extends java.util.Vector<Artificial_Parameter> {