Author: vitor Revision: 14270 Property Name: svn:log Action: modified Property diff: --- old property value +++ new property value @@ -1 +1 @@ -Const \ No newline at end of file +Declare parameters of pred() that could be const as such