From 7dee7103cf5383e583976e3be1b9931ac78ead43 Mon Sep 17 00:00:00 2001
From: Lonca Emmanuel <emmanuel.lonca@univ-artois.fr>
Date: Mon, 15 Jul 2024 16:32:21 +0200
Subject: [PATCH] bumped version number

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 85be656..b192512 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,7 +2,7 @@
 name = "decdnnf_rs"
 authors = ["Jean-Marie Lagniez <lagniez@cril.fr>", "Emmanuel Lonca <lonca@cril.fr>"]
 license = "GPL-3.0-or-later"
-version = "0.1.0"
+version = "0.1.1"
 description = "A library for Decision-DNNFs."
 categories = ["command-line-utilities", "science"]
 keywords = ["decision", "DNNF", "model", "counting", "enumeration"]