summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'compiler')
-rw-r--r--compiler/ExtractBase.ml2
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";