incremented version number for next release

SoftVarE-Group · Oct 31, 2022 · 3aa649c · 3aa649c
1 parent c73f250
commit 3aa649c
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "ddnnf_reasoning"
-version = "0.4.0"
+version = "0.5.0"
 authors = ["Heiko Raab; heiko.raab@uni-ulm-de", "Chico Sundermann; [email protected]"]
 edition = "2018"
 license = "GNU LGPL-2.1"

diff --git a/src/bin/ddnnife.rs b/src/bin/ddnnife.rs
@@ -22,7 +22,7 @@ fn main() {
     let mut matches = Command::new("ddnnife")
     .global_settings(&[AppSettings::ColoredHelp])
     .author("Heiko Raab; heiko.raab@uni-ulm-de\nChico Sundermann; [email protected]")
-    .version("0.4.0")
+    .version("0.5.0")
     .setting(AppSettings::ArgRequiredElseHelp)
     .arg(Arg::with_name("file_path")
         .value_name("FILE PATH")

diff --git a/src/bin/dhone.rs b/src/bin/dhone.rs
@@ -28,7 +28,7 @@ fn main() {
     let matches = App::new("dhone")
     .global_settings(&[AppSettings::ColoredHelp])
     .author("Heiko Raab; heiko.raab@uni-ulm-de\nChico Sundermann; [email protected]")
-    .version("0.4.0")
+    .version("0.5.0")
     .setting(AppSettings::ArgRequiredElseHelp)
     .arg(Arg::with_name("FILE PATH")
         .display_order(1)