diff --git a/ccpcheck_output.txt b/ccpcheck_output.txt
index 0f9616cf1d453e8b4c04a5bb30cfcaa4917bb877..fc29d5e943c68d31f7754cfce0aeadcf95018789 100644
--- a/ccpcheck_output.txt
+++ b/ccpcheck_output.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.