diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2012-04-16 21:25:29 -0500 |
|---|---|---|
| committer | Richard P. Curnow <rc@rc0.org.uk> | 2013-11-24 23:29:18 +0000 |
| commit | b3156fee824cfc9bb5e6c3ff76781cba3f500da0 (patch) | |
| tree | 5c96d60611c7b39f2fe66c17c187f39ae0b31f13 | |
| parent | 64169efd579fb6e1a06c83014e10bfad2b1e0625 (diff) | |
Fix whitespace
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| -rw-r--r-- | nvp.nfa | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -175,7 +175,7 @@ Block main { OWS ; <component:in->out> ; OWS ; EOS -> out2 OWS ; <component:in->out> ; OWS ; [;] ; OWS ; EOS -> out2 OWS ; <component:in->out> ; OWS ; [;] -> in2 - + State in2 = GOT_TERMINATOR -> in |