diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 15:03:36 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 15:04:10 -0700 |
commit | 02feee3c8de62fda69216993639d5db2684b1f45 (patch) | |
tree | 4fa83fba102e0c8b7071216fb3e460e097ce17df /056recipe_header.cc | |
parent | 8ad4b0f423e013dc3076109608766f45d51b7d1f (diff) | |
download | mu-02feee3c8de62fda69216993639d5db2684b1f45.tar.gz |
2318
Forgot to run against valgrind.
Diffstat (limited to '056recipe_header.cc')
-rw-r--r-- | 056recipe_header.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/056recipe_header.cc b/056recipe_header.cc index bba301b1..89ad945e 100644 --- a/056recipe_header.cc +++ b/056recipe_header.cc @@ -25,7 +25,7 @@ has_header = false; :(before "End recipe Refinements") skip_whitespace(in); if (in.peek() != '[') { - trace(9999, "parse") << "recipe has a header; parsing"; + trace(9999, "parse") << "recipe has a header; parsing" << end(); load_recipe_header(in, result); } |