Remove hash type encoding

1 files changed, 2 insertions, 6 deletions

diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml
index 4e3215c8aa..811c9d06cb 100644
--- a/toplevel/topdirs.ml
+++ b/toplevel/topdirs.ml
@@ -571,15 +571,13 @@ let () =
 let () =
   reg_show_prim "show_class"
     (fun env loc id lid ->
-       let path, desc_class = Env.lookup_class ~loc lid env in
+       let _path, desc_class = Env.lookup_class ~loc lid env in
        let _path, desc_cltype = Env.lookup_cltype ~loc lid env in
        let _path, typedcl = Env.lookup_type ~loc lid env in
-       let hash_typedcl = Env.find_hash_type path env in
        [
          Sig_class (id, desc_class, Trec_not, Exported);
          Sig_class_type (id, desc_cltype, Trec_not, Exported);
          Sig_type (id, typedcl, Trec_not, Exported);
-         Sig_type (id, hash_typedcl, Trec_not, Exported);
        ]
     )
     "Print the signature of the corresponding class."
@@ -587,13 +585,11 @@ let () =
 let () =
   reg_show_prim "show_class_type"
     (fun env loc id lid ->
-       let path, desc = Env.lookup_cltype ~loc lid env in
+       let _path, desc = Env.lookup_cltype ~loc lid env in
        let _path, typedcl = Env.lookup_type ~loc lid env in
-       let hash_typedcl = Env.find_hash_type path env in
        [
          Sig_class_type (id, desc, Trec_not, Exported);
          Sig_type (id, typedcl, Trec_not, Exported);
-         Sig_type (id, hash_typedcl, Trec_not, Exported);
        ]
     )
     "Print the signature of the corresponding class type."