diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-05 14:58:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-05 14:58:13 +0000 |
| commit | 332dbf7b9b79f9cb2fa60212cc5529e0c490c1de (patch) | |
| tree | 3f78c3872d1acbea53b266d76814d941f2690efb /src/GF/Grammar/Parser.y | |
| parent | be966cdda2a2e10ee6e19e998d0c7c15b8f9a201 (diff) | |
another attempt to get the paths handling right
Diffstat (limited to 'src/GF/Grammar/Parser.y')
| -rw-r--r-- | src/GF/Grammar/Parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/Parser.y b/src/GF/Grammar/Parser.y index 1c6b51e77..bb30e5075 100644 --- a/src/GF/Grammar/Parser.y +++ b/src/GF/Grammar/Parser.y @@ -276,7 +276,7 @@ TermDef FlagDef :: { Options } FlagDef - : Posn Ident '=' Ident Posn {% case parseModuleOptions ["--" ++ showIdent $2 ++ "=" ++ showIdent $4] of + : Posn Ident '=' Ident Posn {% case parseModuleOptions "." ["--" ++ showIdent $2 ++ "=" ++ showIdent $4] of Ok x -> return x Bad msg -> failLoc $1 msg } |