From af31695b4204f3227d9c535c01fcfd7e547ef489 Mon Sep 17 00:00:00 2001
From: Philipp van Kempen <philipp.van-kempen@tum.de>
Date: Thu, 28 Mar 2024 17:15:21 +0100
Subject: [PATCH] [lint] make flake8 happy

---
 seal5/backends/riscv_instr_info/writer.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/seal5/backends/riscv_instr_info/writer.py b/seal5/backends/riscv_instr_info/writer.py
index 1be5806d..f5ac72f4 100644
--- a/seal5/backends/riscv_instr_info/writer.py
+++ b/seal5/backends/riscv_instr_info/writer.py
@@ -29,11 +29,6 @@
 logger = logging.getLogger("riscv_instr_info")
 
 
-# MAKO_TEMPLATE = """def Feature${predicate} : SubtargetFeature<"${arch}", "Has${predicate}", "true", "'${feature}' (${description})">;
-#
-# def Has${predicate} : Predicate<"Subtarget->has${predicate}()">, AssemblerPredicate<(any_of Feature${predicate}), "'${feature}' (${description})">;"""
-
-
 class Operand:
     def __init__(self, name, lower, upper):
         self.name = name