From 5094f4879cf86d7cbc5879d3acd9216ea2615f87 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 29 Nov 1999 12:57:35 +0000
Subject: portage Astterm (partiellement)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@159 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/classops.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'pretyping/classops.ml')

diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index f69253eea8..533d1f3c1b 100755
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -148,7 +148,10 @@ let (inClass,outClass) =
                     specification_function = (function x -> x) })
 
 let add_new_class (cl,s,stre,p) = 
-  Lib.add_anonymous_leaf (inClass ((cl,{cL_STR=s;cL_STRE=stre;cL_PARAM=p})))
+  let _ = 
+    Lib.add_anonymous_leaf (inClass ((cl,{cL_STR=s;cL_STRE=stre;cL_PARAM=p})))
+  in
+  ()
     
 let _ = 
   Summary.declare_summary "inh_graph"
-- 
cgit v1.2.3