From ef56bc2cd0809b78866b84c5dab89ac2dcb308d2 Mon Sep 17 00:00:00 2001
From: boris <boris.batteux@gmail.com>
Date: Fri, 27 Nov 2020 15:10:34 +0100
Subject: [PATCH] Cleaning

---
 d810/log.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/d810/log.py b/d810/log.py
index 70226b6..685f79f 100644
--- a/d810/log.py
+++ b/d810/log.py
@@ -3,7 +3,7 @@ import shutil
 import logging
 import logging.config
 
-LOG_CONFIG_FILENAME = "log.ini"""
+LOG_CONFIG_FILENAME = "log.ini"
 LOG_FILENAME = "d810.log"
 Z3_TEST_FILENAME = "z3_check_instructions_substitution.py"