From 345ffe22e48215a57c9a8ee44a3b9edcca6921fd Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Thu, 2 Jan 2020 15:08:14 +0100 Subject: [PATCH] Improved formatting of error messages (EOF is handled now). --- vendors/ligo-utils/simple-utils/par_err.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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