version updated

haslab · Apr 30, 2019 · 4ec8a91 · 4ec8a91
1 parent 0241e1e
commit 4ec8a91
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/electrum/pom.xml b/electrum/pom.xml
@@ -2,7 +2,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>pt.uminho.haslab.electrum</groupId>
 	<artifactId>electrum</artifactId>
-	<version>1.1.0</version>
+	<version>1.2.0</version>
 	<name>electrum</name>
 	<packaging>jar</packaging>
 	<profiles>
@@ -144,7 +144,7 @@
 		<dependency>
 			<groupId>pt.uminho.haslab.pardinus</groupId>
 			<artifactId>pardinus</artifactId>
-			<version>1.0.0</version>
+			<version>1.1.0</version>
 			<scope>compile</scope>
 		</dependency>
 		<dependency>

diff --git a/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Version.java b/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Version.java
@@ -40,7 +40,7 @@ private Version() { }
 
    /** Returns the Electrum version string. */
    // [HASLab]
-   public static String eleVersion() { return "1.1"; }
+   public static String eleVersion() { return "1.2"; }
 
    /** Returns the build date. */
    public static String buildDate() { return "unknown"; }