1 files changed, 0 insertions, 1 deletions
diff --git a/lib/hashcons.ml b/lib/hashcons.ml
index 5f4738dcf..7c2897be0 100644
--- a/lib/hashcons.ml
+++ b/lib/hashcons.ml
@@ -60,7 +60,6 @@ module Make(X:Comp) =
      *)
     module Htbl = Hashtbl.Make(
       struct type t=X.t
-             type u=X.u
              let hash=X.hash
              let equal x1 x2 = (*incr comparaison;*) X.equal x1 x2
       end)