From 28d60190dd9614c1e965a5fdcf7a2093a753b45c Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Tue, 20 Jun 2023 15:10:55 -0500
Subject: [PATCH] Update version number

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 3ead89d..d34adb4 100644
--- a/README.md
+++ b/README.md
@@ -15,18 +15,18 @@ Add the following dependency tag to your `pom.xml` file:
 <dependency>
   <groupId>edu.uiowa.cs.clc</groupId>
   <artifactId>kind2-java-api</artifactId>
-  <version>0.3.5</version>
+  <version>0.3.6</version>
 </dependency>
 ```
 
 #### Gradle
 Add the following dependency DSL to your `build.gradle` file:
 ```groovy
-implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.5'
+implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.6'
 ```
 
 #### Other build management tools
-Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-java-api/0.3.5/jar) and copy the appropriate code snippet for your build management tool.
+Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-java-api/0.3.6/jar) and copy the appropriate code snippet for your build management tool.
 
 ### Install artifact from Github Packages
 #### Maven
@@ -44,7 +44,7 @@ Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-j
   <dependency>
     <groupId>edu.uiowa.cs.clc</groupId>
     <artifactId>kind2-java-api</artifactId>
-    <version>0.3.5</version>
+    <version>0.3.6</version>
   </dependency>
   ```
 
@@ -59,7 +59,7 @@ Go to [Maven Central](https://search.maven.org/artifact/edu.uiowa.cs.clc/kind2-j
   ```
 3. Add the following dependency DSL to your `build.gradle` file:
   ```groovy
-  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.5'
+  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.6'
   ```
 
 ### Build from sources