diff --git a/src/tmltranslator/TMLMapping.java b/src/tmltranslator/TMLMapping.java
index 2c2a2cfe428614a7cdf80fea13f9297e3c2cd62f..3037df545acd456414bd51a7bf0b7f1c5e5c9de3 100755
--- a/src/tmltranslator/TMLMapping.java
+++ b/src/tmltranslator/TMLMapping.java
@@ -48,6 +48,7 @@ package tmltranslator;
 
 import java.util.*;
 import myutil.*;
+import tmltranslator.toproverif.*;
 
 
 public class TMLMapping {
@@ -95,6 +96,10 @@ public class TMLMapping {
         }
     }
 
+    public void translate2ProVerif(){
+	TML2ProVerif spec = new TML2ProVerif(this);
+    }
+
     public void makeMinimumMapping() {
         HwCPU cpu;
         HwMemory mem;
diff --git a/src/tmltranslator/TMLModeling.java b/src/tmltranslator/TMLModeling.java
index 0c84da4a18cb0d7300fab17cd3ee81339a081418..8fa0d7071a4b297a7bdac68cc2fb1a577206431c 100755
--- a/src/tmltranslator/TMLModeling.java
+++ b/src/tmltranslator/TMLModeling.java
@@ -82,7 +82,6 @@ public class TMLModeling {
         TMLMapping tmlmapping;
         tmlmapping = new TMLMapping(this, new TMLArchitecture(), false);
         tmlmapping.makeMinimumMapping();
-	//Find Task A. Attribute and Task B.Attribute
         return tmlmapping;
 
         /*TMLArchitecture tmla = new TMLArchitecture();