From 67502f5530b42b11e8580c8464c220664afb4ec4 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Wed, 17 Apr 2024 17:21:08 +0200
Subject: fix(backends/lean): `from` is a keyword

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

(limited to 'compiler/ExtractBase.ml')

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 718325d2..40423cb5 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -941,6 +941,7 @@ let keywords () =
           "simp";
           "structure";
           "syntax";
+          "from";
           "termination_by";
           "then";
           "Type";
-- 
cgit v1.2.3