diff --git a/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala b/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala
index 31b3739d033af6111b88e43b71bdd949e37672e3..c19a2bfa78a17a379babb4936b2fca3d8a31bdea 100644
--- a/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala
+++ b/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala
@@ -394,15 +394,6 @@ trait DatatypeTemplates { self: Templates =>
     protected def unrollType(tpe: Type): Boolean = false
   }
 
-  /** Template generator that combines ADT unrolling and function accumulation.
-    *
-    * See [[$CaptureTemplate]] and [[$DatatypeTemplate]] for concrete examples. */
-  /*protected trait FullTemplateGenerator
-    extends TemplateGenerator
-       with FunctionUnrolling
-       with ADTUnrolling
-       with CachedUnrolling*/
-
   /** Template generator that generates clauses for ADT invariant assertion. */
   protected trait InvariantGenerator
     extends TemplateGenerator