From 94b0a8905af55b2639979d67f1a51a775267ee04 Mon Sep 17 00:00:00 2001
From: Giovanna Stefanelli <giovanna.stefanelli@student.uclouvain.be>
Date: Mon, 27 Apr 2020 20:07:40 +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 (98%)

diff --git a/ccpcheck_output.txt b/ccpcheck_fact.txt
similarity index 98%
rename from ccpcheck_output.txt
rename to ccpcheck_fact.txt
index fc29d5e..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=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
-- 
GitLab