diff --git a/src/Context.cpp b/src/Context.cpp index 9d10119f4..f85097b72 100644 --- a/src/Context.cpp +++ b/src/Context.cpp @@ -247,6 +247,7 @@ int Context::initialize (int argc, const char** argv) // Extract a recomposed command line. bool foundDefault = false; + bool foundAssumed = false; std::string combined; std::vector ::const_iterator a; for (a = cli._args.begin (); a != cli._args.end (); ++a) @@ -258,11 +259,17 @@ int Context::initialize (int argc, const char** argv) if (a->hasTag ("DEFAULT")) foundDefault = true; + + if (a->hasTag ("ASSUMED")) + foundAssumed = true; } if (foundDefault) header ("[" + combined + "]"); + if (foundAssumed) + header (STRING_ASSUME_INFO); + //////////////////////////////////////////////////////////////////////////// // // [8] Run on.launch hooks.