[PPL-devel] [GIT] ppl/ppl(master): Type fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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> {