diff --git a/seal5/model.py b/seal5/model.py
index 82758890..37ece822 100644
--- a/seal5/model.py
+++ b/seal5/model.py
@@ -142,6 +142,7 @@ class Seal5InstrAttribute(Enum):
     COMPRESSED = auto()
     USES = auto()
     DEFS = auto()
+    SKIP_PATTERN_GEN = auto()  # TODO: use
 
 
 class Seal5FunctionAttribute(Enum):