update broken proc_macro2 + project cyclic dev dependency according t…

…o rust-analyzer
floriangru · Jul 6, 2023 · 159d0c6 · 159d0c6
1 parent f468e4f
commit 159d0c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml
@@ -24,7 +24,6 @@ similar = "2.2"
 termcolor = "1.1"
 arraydeque = "0.4"
 creusot-contracts = { path = "../creusot-contracts", features = ["typechecker"] }
-cargo-creusot = { path = "../cargo-creusot" }
 escargot = { version = "0.5" }
 [[test]]
 name = "ui"