Point to Lean-ITrees repo

boogie-org · Jan 10, 2025 · c8c1d75 · c8c1d75
1 parent 1170da0
commit c8c1d75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -7,6 +7,6 @@ package "lean-boogie" where
 @[default_target]
 lean_lib LeanBoogie where
   require qpf from git "https://github.com/alexkeizer/QpfTypes.git" @ "9cfc50cfa0dc561f5b7a1bf08e693b2a52172383"
-  require ITree from "../ITree"
+  require ITree from git "https://github.com/boogie-org/lean-itrees.git" @ "59c895f4f70cd84ad6c8d6524a605eaaab26fe87"
   require auto from git "https://github.com/leanprover-community/lean-auto.git" @ "680d6d58ce2bb65d15e5711d93111b2e5b22cb1a" -- 4.12
   require Duper from git "https://github.com/leanprover-community/duper.git" @ "25c3ea88da2505158998eea07f40b07c0cdfe5ba"