- | "End" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Hint" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Unset" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Print" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Opaque" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Transparent" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Ltac" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Tactic" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
- | "Declare" { let s = Lexing.lexeme lexbuf in out "SEC" s; P.SEC s }
+ | "End" { let s = Lexing.lexeme lexbuf in out "END" s; P.END s }
+ | "Hint" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Hints" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Unset" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Print" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Opaque" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Transparent" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Ltac" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Tactic" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }
+ | "Declare" { let s = Lexing.lexeme lexbuf in out "UNX" s; P.UNX s }