From f0262bf843c8ef6ca2ad4d12ee6f82c8032e6857 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Wed, 17 Apr 2024 14:30:27 +0200
Subject: fix(backends/lean): `as` is a keyword

`as` is a reserved keyword and cannot be used as a variable name.

Fixes #139.

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 compiler/ExtractBase.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 656d2f27..718325d2 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -915,6 +915,7 @@ let keywords () =
         ]
     | Lean ->
         [
+          "as";
           "by";
           "class";
           "decreasing_by";
-- 
cgit v1.2.3