Merge pull request #211 from mtzguido/fix

Parser.ml: handle PRAGMA_SHOW_OPTIONS token
FStarLang · Sep 16, 2024 · e5c43b9 · e5c43b9
2 parents e9cdabe + 777ebbe
commit e5c43b9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/ocaml/plugin/PulseSyntaxExtension_Parser.ml b/src/ocaml/plugin/PulseSyntaxExtension_Parser.ml
@@ -146,6 +146,7 @@ let rewrite_token (tok:FP.token)
     | PRAGMA_RESET_OPTIONS -> PP.PRAGMA_RESET_OPTIONS 
     | PRAGMA_RESTART_SOLVER -> PP.PRAGMA_RESTART_SOLVER 
     | PRAGMA_SET_OPTIONS -> PP.PRAGMA_SET_OPTIONS 
+    | PRAGMA_SHOW_OPTIONS -> PP.PRAGMA_SHOW_OPTIONS
     | PRIVATE -> PP.PRIVATE 
     | QMARK -> PP.QMARK 
     | QMARK_DOT -> PP.QMARK_DOT