From 7a14e93c655da9c00669af9cbb37efef4326cea8 Mon Sep 17 00:00:00 2001
From: Alex Stokes <r.alex.stokes@gmail.com>
Date: Thu, 27 May 2021 12:02:44 -0700
Subject: [PATCH] PR feedback

---
 setup.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index d840c3437..5384b1a70 100644
--- a/setup.py
+++ b/setup.py
@@ -312,8 +312,9 @@ class SpecBuilder(ABC):
         raise NotImplementedError()
 
     @classmethod
+    @abstractmethod
     def implement_optimizations(cls, functions: Dict[str, str]) -> Dict[str, str]:
-        return functions
+        raise NotImplementedError()
 
     @classmethod
     @abstractmethod
@@ -439,6 +440,10 @@ get_attesting_indices = cache_this(
     def invariant_checks(cls) -> str:
         return ''
 
+    @classmethod
+    def implement_optimizations(cls, functions: Dict[str, str]) -> Dict[str, str]:
+        return functions
+
     @classmethod
     def build_spec(cls, preset_name: str,
                    source_files: Sequence[Path], preset_files: Sequence[Path], config_file: Path) -> str: