doc

hycos · Nov 21, 2018 · 6270133 · 6270133
1 parent 1f22845
commit 6270133
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -37,7 +37,7 @@ using the following dependency in the `pom.xml` file.
 <dependency>
     <groupId>com.github.hycos</groupId>
     <artifactId>regex2smtlib</artifactId>
-    <version>1.0</version>
+    <version>1.1</version>
 </dependency>
 ```