From f4586d1e8b1116340574d9660117f93e7a1e4e3b Mon Sep 17 00:00:00 2001
From: bgregoir <bgregoir@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 20 Jun 2007 09:43:36 +0000
Subject: ajout de head0 et tail0 en natif

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

(limited to 'kernel/retroknowledge.ml')

diff --git a/kernel/retroknowledge.ml b/kernel/retroknowledge.ml
index f064cd8b9..b82556c78 100644
--- a/kernel/retroknowledge.ml
+++ b/kernel/retroknowledge.ml
@@ -58,11 +58,13 @@ type int31_field =
   | Int31Div
   | Int31AddMulDiv
   | Int31Compare
+  | Int31Head0
+  | Int31Tail0
 
 type field =
-  | KEq
+ (* | KEq
   | KNat of nat_field
-  | KN of n_field
+  | KN of n_field *)
   | KInt31 of string*int31_field
 
 
-- 
cgit v1.2.3