From 905ec4f1d62734af956fd54e2aa3872e3c8a8e09 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Wed, 17 Apr 2024 17:21:30 +0200
Subject: chore(backends/lean): sort the keyword list

OCD. :D

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

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 40423cb5..92206ece 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -915,6 +915,7 @@ let keywords () =
         ]
     | Lean ->
         [
+          "Type";
           "as";
           "by";
           "class";
@@ -925,30 +926,29 @@ let keywords () =
           "else";
           "end";
           "for";
+          "from";
           "have";
           "if";
+          "import";
           "inductive";
           "instance";
-          "import";
           "let";
           "macro";
           "match";
           "namespace";
           "opaque";
+          "opaque_defs";
           "open";
           "run_cmd";
           "set_option";
           "simp";
           "structure";
           "syntax";
-          "from";
           "termination_by";
           "then";
-          "Type";
           "unsafe";
           "where";
           "with";
-          "opaque_defs";
         ]
     | HOL4 ->
         [
-- 
cgit v1.2.3