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;