diff --git a/vendors/ligo-utils/simple-utils/par_err.sh b/vendors/ligo-utils/simple-utils/par_err.sh index 4ca5cb5d1..181ab987b 100755 --- a/vendors/ligo-utils/simple-utils/par_err.sh +++ b/vendors/ligo-utils/simple-utils/par_err.sh @@ -94,7 +94,7 @@ done usage () { cat <.mly + --par-tokens=.mly --lex-tokens=.mli --out=.ml .mly