diff --git a/cargo-klee/src/main.rs b/cargo-klee/src/main.rs
index a713f1966f3ab5f623909418ce81995b70ccfc82..002d7209896562be5f014d5ab58bf94c974e21ea 100644
--- a/cargo-klee/src/main.rs
+++ b/cargo-klee/src/main.rs
@@ -22,7 +22,7 @@ fn main() -> Result<(), failure::Error> {
 
 fn run() -> Result<i32, failure::Error> {
     let matches = App::new("cargo-klee")
-        .version("0.3.0")
+        .version("0.4.0")
         .author("Lulea University of Technology (LTU)")
         .about("KLEE analysis of Rust application")
         // as this is used as a Cargo sub-command the first argument will be the name of the binary