diff --git a/ccpcheck_output.txt b/ccpcheck_fact.txt
similarity index 56%
rename from ccpcheck_output.txt
rename to ccpcheck_fact.txt
index 0f9616cf1d453e8b4c04a5bb30cfcaa4917bb877..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=240). Neither unicode nor extended ascii is supported.
\ No newline at end of file
+[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