From 8030a420d2cfcf8372d5fe6544efbecde940381b Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 12 Dec 2000 22:07:41 +0000
Subject: syntaxe AST Inversion + commentaires ocamlweb autour de $

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/term.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/term.ml')

diff --git a/kernel/term.ml b/kernel/term.ml
index ff96a8e15b..7a3c7e0533 100644
--- a/kernel/term.ml
+++ b/kernel/term.ml
@@ -1668,10 +1668,10 @@ let hcons_constr (hspcci,hspfw,hname,hident,hstr) =
   let htcci = Hashcons.simple_hcons Htype.f (hcci,hsortscci) in
   (hcci,hfw,htcci)
 
-let hcons1_constr c =
-  let hnames = hcons_names() in
+let hcons1_constr =
+  let hnames = hcons_names () in
   let (hc,_,_) = hcons_constr hnames in
-  hc c
+  hc
 
 (* Abstract decomposition of constr to deal with generic functions *)
 
-- 
cgit v1.2.3