Minor update

INTO-CPS-Association · Dec 11, 2023 · 4600ce8 · 4600ce8
1 parent fb8357c
commit 4600ce8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java b/...-webapi/src/main/java/org/intocps/maestro/webapi/maestro2/Maestro2ScenarioController.java
@@ -68,7 +68,7 @@ public VerificationResult verifyAlgorithm(@RequestBody String masterModelAsStrin
         MasterModel masterModel = ScenarioLoader.load(new ByteArrayInputStream(masterModelAsString.getBytes()));
 
         ModelEncoding encoding = new ModelEncoding(masterModel);
-        String encodedModel = ScenarioGenerator.generate(encoding);
+        String encodedModel = ScenarioGenerator.generateUppaalEncoding(encoding);
         File tempFile = Files.createTempFile(null, ".xml").toFile();
         try (Writer writer = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(tempFile), StandardCharsets.UTF_8))) {
             writer.write(encodedModel);