Merge pull request #67 from sanctuuary/dev

Improving NL template- and SLTLx-constraints
sanctuuary · Aug 30, 2022 · 8933051 · 8933051
2 parents 8824ba8 + 295a8d1
commit 8933051
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>io.github.sanctuuary</groupId>
 	<artifactId>APE</artifactId>
-	<version>2.0.2</version>
+	<version>2.0.3</version>
 	<packaging>jar</packaging>
 	<name>io.github.sanctuuary:APE</name>
 	<description>APE is a command line tool and an API for the automated exploration of possible computational pipelines (workflows) from large collections of computational tools.</description>

diff --git a/src/main/java/nl/uu/cs/ape/utils/APEDomainSetup.java b/src/main/java/nl/uu/cs/ape/utils/APEDomainSetup.java
@@ -152,6 +152,7 @@ public List<String> getSLTLxConstraints(){
      */
     public void clearConstraints() {
         this.unformattedConstr.clear();
+        this.constraintsSLTLx.clear();
     }
 
     /**
-Original file line number
+Diff line change
@@ Expand Up / @@ -152,6 +152,7 @@ public List<String> getSLTLxConstraints(){ @@
          */
         public void clearConstraints() {
             this.unformattedConstr.clear();
+            this.constraintsSLTLx.clear();
         }
         /**
@@ Expand Down @@