diff options
| author | Sven Gothel <[email protected]> | 2015-03-23 20:47:48 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2015-03-23 20:47:48 +0100 |
| commit | e3b1d17a2f2b4070c1080fa6f78cfc1bcd28c78c (patch) | |
| tree | d27181d36f73071791b9f1ba08e48bb7dc723dd2 /src/test/java/org/anarres | |
| parent | 6d805e3f526b30144649232246d5ffdc04a31ebf (diff) | |
Preprocessor.pop_source(..): Fix '#line' number; Preprocessor/Source: Public access (pp.getSource(), s.getParent())
Preprocessor.pop_source(..): Fix '#line' number:
See comment:
+ * FIXME: Removed the '+ 1', since all lines were off by one.
+ * This solves this case, but I don't know _why_ this was here in the first place.
Diffstat (limited to 'src/test/java/org/anarres')
0 files changed, 0 insertions, 0 deletions