Commit 8a8a2148 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

dpelim program help string

parent 25cfeff9
......@@ -23,9 +23,9 @@ const std::string prg_help =
"variables, use -f, -s options to limit the extent of elimination. You can "
"also limit the maximum input variables (up to which no variable should be "
"eliminated). Note that the input is considered to be an encoding. Thus "
"the variables which are allowed to be eliminated have changed numbers in "
"the output (they are considered auxiliary in that their names do not "
"matter).";
"the variables which are allowed to be eliminated may have different "
"indices in the output (they are considered auxiliary in that their names "
"do not matter).";
enum class ELIMINATE
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment