1 files changed, 2 insertions, 5 deletions
diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index d21e1ba81..80fa10520 100755
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -162,11 +162,8 @@ let (inClass,outClass) =
                     specification_function = (function x -> x) })
 
 let add_new_class (cl,s,stre,p) = 
-  let _ = 
-    Lib.add_anonymous_leaf (inClass ((cl,{cL_STR=s;cL_STRE=stre;cL_PARAM=p})))
-  in
-  ()
-    
+  Lib.add_anonymous_leaf (inClass ((cl,{cL_STR=s;cL_STRE=stre;cL_PARAM=p})))
+   
 let _ = 
   Summary.declare_summary "inh_graph"
     { Summary.freeze_function = freeze;