diff --git a/electrum/pom.xml b/electrum/pom.xml
index f9073165..d14bc3b2 100755
--- 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
index 29d70130..56c4cae4 100755
--- 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"; }