Bump version to 1.1.9-dev after release

bmw-software-engineering · Aug 23, 2023 · 75115bd · 75115bd
1 parent a96a065
commit 75115bd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -25,6 +25,10 @@ generated in the following situations:
 ## Changelog
 
 
+### 1.1.9-dev
+
+
+
 ### 1.1.8
 
 * [TRLC] Hotfix for the CVC5 API issue: pinning PyVCG to 1.0.3, which

diff --git a/trlc/version.py b/trlc/version.py
@@ -18,8 +18,8 @@
 # You should have received a copy of the GNU General Public License
 # along with TRLC. If not, see <https://www.gnu.org/licenses/>.
 
-VERSION_TUPLE = (1, 1, 8)
-VERSION_SUFFIX = ""
+VERSION_TUPLE = (1, 1, 9)
+VERSION_SUFFIX = "dev"
 
 TRLC_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
     ("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")