Skip to content

Commit

Permalink
updated the message
Browse files Browse the repository at this point in the history
  • Loading branch information
VeraZhang0311 committed Jul 3, 2024
1 parent 2d33653 commit 40a69bc
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Src/CommandLine/CommandInterface.cs
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ private enum WatchLevelKind { Off, On, Prompt };
private const string WatchMsg = "Use: watch [off | on | prompt] to control watch behavior";
private const string CoreMsg = "Prints reduced rule set for domains / transforms. Use: core module_name";
private const string DowngradeMsg = "Attempts to downgrade a (partial) model to Formula V1. Use: downgrade module_name";
private const string FetchConstraintsMsg = "Attemps to fetch the constraints in the domain";
private const string FetchConstraintsMsg = "Attemps to fetch the constraints in the domain. Use: constraints (app_id | solv_id n) output_name [render_class render_dll]";


private SpinLock cmdLock = new SpinLock();
Expand Down Expand Up @@ -2141,7 +2141,7 @@ private void DoFetchConstraints(string s)
var cmdParts = s.Split(cmdSplitChars, 4, StringSplitOptions.RemoveEmptyEntries);
if (cmdParts.Length < 2 || cmdParts.Length > 5)
{
sink.WriteMessageLine(ExtractMsg, SeverityKind.Warning);
sink.WriteMessageLine(FetchConstraintsMsg, SeverityKind.Warning);
return;
}

Expand Down

0 comments on commit 40a69bc

Please sign in to comment.