When I try to verify some code that simply includes a call to "printf()", it throws the error below.
"Error: missing required prototype for varargs. procedure 'printf'."
How can I get Polyspace Code Prover to recognize this stdio call? I've tried to add the path to the stdio.h file to the "Include" section of my project.