Update dependencies

facebookexperimental · Jul 12, 2024 · 2720e94 · 2720e94
1 parent cbe9e00
commit 2720e94
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar
diff --git a/checker/Cargo.toml b/checker/Cargo.toml
@@ -49,7 +49,7 @@ shellwords = "*"
 sled = "*"
 tar = "*"
 tempfile = "*"
-triomphe = "=0.1.9"
+triomphe = "*"
 z3-sys = { version = "*", git = "https://github.com/prove-rs/z3.rs.git", optional = true }
 
 [dev-dependencies]