syntax correction for verifyMAC in ProVerif

AliceAndBob.xml~

bin/config.xml

src/android/bin/classes/project/alwaystry/R$attr.class

src/android/bin/classes/project/alwaystry/R$drawable.class

src/android/bin/classes/project/alwaystry/R$id.class

src/android/bin/classes/project/alwaystry/R$layout.class

src/android/bin/classes/project/alwaystry/R$string.class

src/android/bin/classes/project/alwaystry/R$styleable.class

...roid/bin/classes/project/alwaystry/drageventblock$1.class

...roid/bin/classes/project/alwaystry/drageventblock$2.class

...es/project/alwaystry/drageventblock$MyShadowBuilder.class

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifPiSyntaxer.java

src/proverifspec/ProVerifReduc.java