diff options
| -rw-r--r-- | bbot/machine-manifest.cxx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bbot/machine-manifest.cxx b/bbot/machine-manifest.cxx index 3e7f5a2..d267c1d 100644 --- a/bbot/machine-manifest.cxx +++ b/bbot/machine-manifest.cxx @@ -61,7 +61,10 @@ namespace bbot machine_manifest:: machine_manifest (parser& p, name_value nv, bool iu) - : machine_header_manifest (p, move (nv), unknown_name_mode::stop, &nv) + : machine_header_manifest (p, + move (nv), + manifest_unknown_mode::stop, + &nv) { auto bad_name = [&p, &nv] (const string& d) { |