From a3c6fef6aed876d396671f9e387a9175cd5b799e Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 15 Jun 2008 09:21:59 +0000 Subject: [PATCH] fix the command line parser --- src-3.0/GF/Command/Parse.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src-3.0/GF/Command/Parse.hs b/src-3.0/GF/Command/Parse.hs index 5a0deaaf5..b5a76ed3e 100644 --- a/src-3.0/GF/Command/Parse.hs +++ b/src-3.0/GF/Command/Parse.hs @@ -17,7 +17,7 @@ test s = RP.readP_to_S pCommandLine s pCommandLine = RP.sepBy (RP.skipSpaces >> pPipe) (RP.skipSpaces >> RP.char ';') -pPipe = RP.sepBy (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|') +pPipe = RP.sepBy1 (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|') pCommand = do cmd <- pIdent