chore(3p/nix): Update deprecated 'pure-parser' setting

This setting was renamed to api.pure about 300 years ago and caused
warnings to be issued.

Change-Id: If883b0667c3afe67ae3d2a9950a796688cfbea7a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1290
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
This commit is contained in:
Vincent Ambo 2020-07-19 18:05:19 +01:00 committed by tazjin
parent 7a8880a0df
commit ca50fb66d2

View file

@ -1,7 +1,7 @@
%glr-parser
%pure-parser
%locations
%define parse.error verbose
%define api.pure true
%defines
/* %no-lines */
%parse-param { void * scanner }