diff --git a/src/tmltranslator/toproverif/TML2ProVerif.class b/src/tmltranslator/toproverif/TML2ProVerif.class
index d8f7041adad67f504740a5a3957bf437d4c87e6c..4a8669904af7ec8530779ebcacbd798d9a597657 100644
Binary files a/src/tmltranslator/toproverif/TML2ProVerif.class and b/src/tmltranslator/toproverif/TML2ProVerif.class differ