Merge pull request #344 from Nadrieril/update-charon

AeneasVerif · Nov 5, 2024 · 271a8be · 271a8be
2 parents 119f1aa + bd84cad
commit 271a8be
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/charon-pin b/charon-pin
@@ -1,2 +1,2 @@
 # This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
-5642ea4f0e40ad4890f4e9dc69a500737ec08940
+2193aa00fd89e991226ada10d8a8f66e0594f212
diff --git a/compiler/charon b/compiler/charon
@@ -1 +1 @@
-../charon/charon-ml/
+../charon
diff --git a/flake.lock b/flake.lock