Merge remote-tracking branch 'origin/master' into flakes

This commit is contained in:
Eelco Dolstra
2019-04-08 14:23:48 +02:00
6 changed files with 15 additions and 8 deletions
+1 -1
View File
@@ -1,7 +1,7 @@
%glr-parser
%pure-parser
%locations
%error-verbose
%define parse.error verbose
%defines
/* %no-lines */
%parse-param { void * scanner }