Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev

2019-12-17 17:07:10 +01:00 · 2019-12-17 17:07:10 +01:00 · 078dd06132
commit 078dd06132
parent 7ae8d9340b 757b0da78c
1 changed files with 1 additions and 1 deletions
--- a/src/passes/1-parser/pascaligo/.Parser.mly.tag
+++ b/src/passes/1-parser/pascaligo/.Parser.mly.tag
@ -1 +1 @@
--table --strict --explain --external-tokens LexToken --base Parser ParToken.mly
+--table --strict --explain --external-tokens LexToken --base Parser