diff options
| -rw-r--r-- | 053recipe_header.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/053recipe_header.cc b/053recipe_header.cc index aebd9193..06abcc4b 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -156,6 +156,10 @@ if (curr.name == "load-ingredients") { curr.clear(); } } +if (curr.name == "next-ingredient-without-typechecking") { + raise << maybe(result.name) << "never call 'next-ingredient-without-typechecking' directly\n" << end(); + curr.clear(); +} //: internal version of next-ingredient; don't call this directly :(before "End Primitive Recipe Declarations") |