diff options
Diffstat (limited to 'tangle/003tangle.cc')
| -rw-r--r-- | tangle/003tangle.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tangle/003tangle.cc b/tangle/003tangle.cc index 086cca23..ff9aa56e 100644 --- a/tangle/003tangle.cc +++ b/tangle/003tangle.cc @@ -300,7 +300,6 @@ list<Line>::iterator balancing_curly(list<Line>::iterator curr) { // Remember to update is_input below if you add to this format. void emit_test(const string& name, list<Line>& lines, list<Line>& result) { result.push_back(Line("void test_"+name+"() {", front(lines).filename, front(lines).line_number-1)); // use line number of directive - result.push_back(Line(" Trace_file = \""+name+"\";", front(lines).filename, front(lines).line_number-1)); while (!lines.empty()) { while (!lines.empty() && starts_with(front(lines).contents, "% ")) { result.push_back(Line(" "+front(lines).contents.substr(strlen("% ")), front(lines))); |