diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-22 10:00:33 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-22 10:00:33 -0700 |
commit | 0a3bc57c4f060363c98721955f4f77dcf92444f9 (patch) | |
tree | 145b1d6a9f183c82bd5bed5bc850e24e959cfd8d /cpp/tangle/030tangle.cc | |
parent | a6a8cfdde7c83b29a2ed76e887887355119ec1a1 (diff) | |
download | mu-0a3bc57c4f060363c98721955f4f77dcf92444f9.tar.gz |
1121
Diffstat (limited to 'cpp/tangle/030tangle.cc')
-rw-r--r-- | cpp/tangle/030tangle.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpp/tangle/030tangle.cc b/cpp/tangle/030tangle.cc index 7f3f23c5..a7769129 100644 --- a/cpp/tangle/030tangle.cc +++ b/cpp/tangle/030tangle.cc @@ -95,6 +95,10 @@ void process_next_hunk(istream& in, const string& directive, const string& filen in.seekg(old); break; } + if (starts_with(curr_line, "//:")) { + ++line_number; + continue; + } Line curr; curr.line_number = line_number; curr.filename = filename; |