diff --git a/ccpcheck_output.txt b/ccpcheck_fact.txt similarity index 98% rename from ccpcheck_output.txt rename to ccpcheck_fact.txt index fc29d5e943c68d31f7754cfce0aeadcf95018789..c362f6caa9a2b386b2ffa73fe05f6f89103afb97 100644 --- a/ccpcheck_output.txt +++ b/ccpcheck_fact.txt @@ -1,2 +1,2 @@ Checking fact ... -[fact:1]: (error) The code contains unhandled character(s) (character code=160). Neither unicode nor extended ascii is supported. +[fact:1]: (error) The code contains unhandled character(s) (character code=160). Neither unicode nor extended ascii is supported. \ No newline at end of file