Correction of bugs and new functionalities.

[mapping.git] / src / and / Mapping / Mapping.java

diff --git a/src/and/Mapping/Mapping.java b/src/and/Mapping/Mapping.java
index 1136d55..c6ee73a 100644 (file)
--- a/src/and/Mapping/Mapping.java
+++ b/src/and/Mapping/Mapping.java
@@ -181,7 +181,7 @@ public class Mapping implements Serializable
        public void print()
        {
                System.out.println();
-               System.out.println( "\t=> Mapping done :\n" ) ;
+               System.out.println( "\t=> Mapping done:\n" ) ;
                
                if( type == 0 )
                {