1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index ddffb1c2..e30c4b36 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -916,6 +916,8 @@ let keywords () =
     | Lean ->
         [
           "Pi";
+          "Prop";
+          "Sort";
           "Type";
           "abbrev";
           "alias";