Create a Boogie AST crate (model-checking#2565)

zhassan-aws · Oct 27, 2023 · 7f50ddb · 7f50ddb
1 parent 0e75fee
commit 7f50ddb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
@@ -111,6 +111,13 @@ dependencies = [
  "num-bigint",
 ]
 
+[[package]]
+name = "boogie_ast"
+version = "0.34.0"
+dependencies = [
+ "num-bigint",
+]
+
 [[package]]
 name = "bookrunner"
 version = "0.1.0"