blob: 4e506246f2a2bb144f3c0bb2b937bf7910435027 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
https://github.com/jflex-de/jflex/commit/f312d563777d907bbb12d1e2ac79835ba83ca53c
--- a/src/grammar/skeleton.inner 2012-11-04 16:16:30.000000000 +0000
+++ b/src/grammar/skeleton.inner 2015-11-02 20:57:37.566057363 +0000
@@ -407,15 +407,15 @@
zzMarkedPos = zzMarkedPosL;
--- char count update
---- actions
- default:
- if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
- zzAtEOF = true;
+ if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
+ zzAtEOF = true;
--- eofvalue
- }
- else {
+ }
+ else {
+--- actions
+ default:
--- no match
- }
+ }
}
}
}
|
GitWeb
