github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #806 from powdr-labs/remove_dep

Browse Source 
Remove unneeded dependency.
This commit is contained in:
Leo
2023-11-29 16:01:47 +00:00
committed by GitHub
parent 117970a939 a35c21abfb
commit 0b4ca773cb
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pil_analyzer/Cargo.toml
View File

@@ -8,7 +8,6 @@ number = { path = "../number" }
parser_util = { path = "../parser_util" }
parser = { path = "../parser" }
ast = { path = "../ast" }
analysis = { path = "../analysis" }
itertools = "^0.10"
[dev-dependencies]