diff --git a/src/funcheck/scalacheck/GeneratorDefDefInjector.scala b/src/funcheck/scalacheck/GeneratorDefDefInjector.scala
index 9d4ed55c5347f0e4675230a4bc35bca7abc0b4c9..c10b26a4da803ac9339395559d2beccbdedce90d 100644
--- a/src/funcheck/scalacheck/GeneratorDefDefInjector.scala
+++ b/src/funcheck/scalacheck/GeneratorDefDefInjector.scala
@@ -30,57 +30,4 @@ trait GeneratorDefDefInjector extends TypingTransformers {
   }
 } 
     
-    
-//    val cdSym = c.symbol
-//         if(cdSym.hasFlag(ABSTRACT)) { 
-//           DefGenerator.addAbstr(c)
-//           println(cdSym.children)
-//         }
-//         else {
-//           val Template(_, _, body) = impl
-//           for { b <- body } b match {
-//             case d @ DefDef(_, nme.CONSTRUCTOR, _, _, _, _) =>
-//               DefGenerator.addDef(d)
-//             case _ => ;
-//           }
-//         }
-  
-  
-   
-   //   lazy val specsModule: Symbol = definitions.getModule("funcheck.lib.Specs")
-   //val neededGenerators = scala.collection.mutable.Set.empty[Symbol]
-   
-   
-   /*********************************************************************************/
-//   private def isForall(s: Select): Boolean = {
-//     val Select(selector,_) = s
-//     
-//     selector.symbol == specsModule &&
-//     s.symbol == specsModule.tpe.decl("forAll")
-//   }
-//   
-//    
-//   /*********************************************************************************/
-//   def collectProperties(Unit: CompilationUnit)(tree: Tree): Unit = tree match {
-//     case TypeApply( s: Select, tpes: List[Tree]) =>
-//       if(isForall(s)) {
-//         for { treeTpe <- tpes } treeTpe.tpe match {
-//           case TypeRef(_, _, args: List[Type]) => 
-//             for {arg <- args} arg match {
-//               case TypeRef(_,sym,_) => {
-//                 //generators are needed only for user-defined types (assuming Pure Scala as input language)   
-//                 if (!definitions.isValueClass(sym)) 
-//                   neededGenerators += sym
-//               }
-//               case _ => error("Don't know what to do with "+ arg)
-//             }
-//           case _ => error("don't know what to do with " + treeTpe + " with associated symbol: "+treeTpe.symbol)
-//         }
-//         //println(neededGenerators)
-//       } 
-//       
-//     case _ =>
-//   }
-   
-   
- 
+   
\ No newline at end of file