diff --git a/checker/Cargo.toml b/checker/Cargo.toml index cd0e8ea1..c2a17fda 100644 --- a/checker/Cargo.toml +++ b/checker/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "mirai" -version = "1.1.2" +version = "1.1.3" authors = ["Herman Venter "] description = "A static analysis tool for Rust, based on Abstract Interpretation of MIR" repository = "https://github.com/facebookexperimental/MIRAI"