From 777ebbef83431bd450e5c0569f1f7c3648d1670e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Sun, 15 Sep 2024 20:38:14 -0700 Subject: [PATCH] Parser.ml: handle PRAGMA_SHOW_OPTIONS token --- src/ocaml/plugin/PulseSyntaxExtension_Parser.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ocaml/plugin/PulseSyntaxExtension_Parser.ml b/src/ocaml/plugin/PulseSyntaxExtension_Parser.ml index 185693618..070ce9cca 100644 --- 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