diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-05-03 22:10:10 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-05-03 22:10:10 +1000 |
| commit | 2a98c7ddfd01331b47eef963d00590399d4507c4 (patch) | |
| tree | e19d32ea7574295c5df792c2584553d2515f6275 | |
| parent | 54a7ae48ca42198d8eb72498af36ecbe1ece2678 (diff) | |
Parser now parses nodes with arbitrary names (prev commit could just construct graphs out of them)
| -rw-r--r-- | src/Grasp/Parser.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Grasp/Parser.hs b/src/Grasp/Parser.hs index 42af644..d22492a 100644 --- a/src/Grasp/Parser.hs +++ b/src/Grasp/Parser.hs @@ -136,7 +136,7 @@ edge = do ident = do - d <- some digit + d <- some (noneOf " \t\r\n") inLineWhSp return d |