diff options
| -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); } |