From be90dbe46e763b415773e8c979337622de6a6867 Mon Sep 17 00:00:00 2001
From: Giovanna Stefanelli <giovanna.stefanelli@student.uclouvain.be>
Date: Sat, 25 Apr 2020 21:54:26 +0200
Subject: [PATCH] Update ccpcheck_output.txt

---
 ccpcheck_output.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ccpcheck_output.txt b/ccpcheck_output.txt
index 0f9616c..fc29d5e 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.
-- 
GitLab