From 945c630ec18e282bd0db731fb3f0b521e99de059 Mon Sep 17 00:00:00 2001
From: Raito Bezarius
Date: Wed, 17 Apr 2024 15:08:07 +0200
Subject: feat: add functional correctness of elements contained in the
 resulting tree

We revamp the typeclass mechanisms and we add an equality hypothesis
now.

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
---
 lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lake-manifest.json')

diff --git a/lake-manifest.json b/lake-manifest.json
index 3e20e73..3c33932 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -67,7 +67,7 @@
   {"url": "https://github.com/AeneasVerif/aeneas",
    "type": "git",
    "subDir": "backends/lean",
-   "rev": "03a175b423c9ccff2160300c4d349978f9b1aeb9",
+   "rev": "23da71768c03d955c916635bfc5c9d5806a80187",
    "name": "base",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
-- 
cgit v1.2.3