@@ -2,7 +2,7 @@ In rule options
22===============
33
44gnatcheck: rule instance with the same name already exists: "same_alias" previously instantiated at command line
5- gnatcheck: if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
5+ if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
66gnatcheck: rule instance with the same name already exists: "comp_check" previously instantiated at command line
77gnatcheck: rule instance with the same name already exists: "comp_check" previously instantiated at command line
88>>>program returned status code 5
@@ -11,12 +11,12 @@ In command-line
1111===============
1212
1313gnatcheck: rule instance with the same name already exists: "goto_statements" previously instantiated at command line
14- gnatcheck: if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
14+ if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
1515>>>program returned status code 5
1616
1717In command-line and rule options
1818================================
1919
2020gnatcheck: rule instance with the same name already exists: "goto_statements" previously instantiated at command line (rules.txt:1:1)
21- gnatcheck: if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
21+ if you want to pass multiple parameters to a rule you should use the comma separated notation: e.g. +RMy_Rule:Param1,Param2
2222>>>program returned status code 5
0 commit comments