From b43db451e5a6b381ed66d033285bb3bee6ddadda Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Sat, 15 Aug 2020 21:25:11 +0200
Subject: [PATCH] Don't feel like writing stubs

---
 relational_readline/linegui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/relational_readline/linegui.py b/relational_readline/linegui.py
index e00bc19..8655cac 100644
--- a/relational_readline/linegui.py
+++ b/relational_readline/linegui.py
@@ -27,7 +27,7 @@ from typing import Optional
 
 from relational import relation, parser, rtypes
 from relational import maintenance
-from xtermcolor import colorize
+from xtermcolor import colorize  # type: ignore
 
 PROMPT_COLOR = 0xffff00
 ERROR_COLOR = 0xff0000