small changes

src/tptp2why/tptpTranslate.ml

@@ -108,6 +108,7 @@ end
 
 (*s this module manages scoping of vars using a stack of
 variables bindings *)
+(* TODO : use a hashtable and a stack of key lists instead *)
 module Scope
   (T : sig
     type key

src/transform/polymorphic_to_untyped.ml

@@ -25,8 +25,6 @@ open Decl
 open Task
 
 
-let eliminate_polymorphism = Register.store (fun () -> Trans.identity)
-
 let polymorphic_to_untyped = Register.store (fun () -> Trans.identity)
 
 let () = Register.register_transform "polymorphic_to_untyped" polymorphic_to_untyped

src/transform/polymorphic_to_untyped.mli

@@ -17,4 +17,4 @@
 (*                                                                        *)
 (**************************************************************************)
 
-val eliminate_polymorphism : Task.task Register.trans_reg
+val polymorphic_to_untyped : Task.task Register.trans_reg