diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/ExtractBase.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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"; |