Parser.ml: handle PRAGMA_SHOW_OPTIONS token

FStarLang · Sep 16, 2024 · 777ebbe · 777ebbe
1 parent e9cdabe
commit 777ebbe
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