pom.xml: Version bump 1.1 => 2.0

runtimeverification · Jan 15, 2018 · 45b40dd · 45b40dd
1 parent e8e5dbf
commit 45b40dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
 
   <groupId>org.kframework.k</groupId>
   <artifactId>kore_2.12</artifactId>
-  <version>1.1-SNAPSHOT</version>
+  <version>2.0-SNAPSHOT</version>
   <packaging>jar</packaging>
 
   <name>${project.groupId}:${project.artifactId}</name>