1 files changed, 1 insertions, 0 deletions
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";