From 322ca4e7a12eb0c71e6c7a7e2598d6c399e52581 Mon Sep 17 00:00:00 2001
From: Giovanna Stefanelli <giovanna.stefanelli@student.uclouvain.be>
Date: Mon, 27 Apr 2020 20:08:12 +0200
Subject: [PATCH] Update ccpcheck_output.txt

---
 ccpcheck_output.txt => ccpcheck_fact.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename ccpcheck_output.txt => ccpcheck_fact.txt (56%)

diff --git a/ccpcheck_output.txt b/ccpcheck_fact.txt
similarity index 56%
rename from ccpcheck_output.txt
rename to ccpcheck_fact.txt
index 0f9616c..c362f6c 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
-- 
GitLab