Automated Code Analysis

cppcheck analysis of prover9-manual_0.0.200902a-1.dsc

Failed to parse xml