diff --git a/DocGen4/Process.lean b/DocGen4/Process.lean
index 9e5924e..0aefa85 100644
--- a/DocGen4/Process.lean
+++ b/DocGen4/Process.lean
@@ -64,7 +64,6 @@ inductive DocInfo where
 | inductiveInfo (info : InductiveInfo) : DocInfo
 | structureInfo (info : StructureInfo) : DocInfo
 | classInfo (info : ClassInfo) : DocInfo
-| classInductiveInfo : DocInfo
 
 structure Module where
   name : Name