fix adt2amas bundle version

src/main/java/org/cosyverif/service/adt2amas/EAMASTranslation.java

@@ -61,8 +61,7 @@ public class EAMASTranslation extends BinaryService{
     runnable.setExecutable(true);
 
     final CommandLine command = new CommandLine("./adt2amas");
-    // command.addArguments("transform --model " + model.getName());
-    command.addArguments("transform --model treasure-hunters");
+    command.addArguments("transform --model " + model.getName());
 
     return task(command)
             .workingDirectory(baseDirectory())

src/main/resources/binaries.properties

-binary-linux = https://ci.appveyor.com/api/buildjobs/3fh7puk3cpb2qn9i/artifacts/linux-x86_64.zip
+binary-linux = https://ci.appveyor.com/api/buildjobs/3gkilklaguu9xy75/artifacts/linux-x86_64.zip