From 8b327a118a02e8c29f1c49774c6b2d78e2179b79 Mon Sep 17 00:00:00 2001
From: glondu
Date: Fri, 7 Dec 2007 13:29:49 +0000
Subject: Petit oubli de thery.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10351 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Ints/num/QbiMake.v | 2 --
 theories/Ints/num/QifMake.v | 2 --
 2 files changed, 4 deletions(-)

(limited to 'theories/Ints')

diff --git a/theories/Ints/num/QbiMake.v b/theories/Ints/num/QbiMake.v
index 3583c5eece..9eb5de5e18 100644
--- a/theories/Ints/num/QbiMake.v
+++ b/theories/Ints/num/QbiMake.v
@@ -235,8 +235,6 @@ Module Qbi.
   | BigN.N4 _ => false
   | BigN.N5 _ => false
   | BigN.N6 _ => false
-  | BigN.N7 _ => false
-  | BigN.N8 _ => false
   | _         => true 
   end.
  
diff --git a/theories/Ints/num/QifMake.v b/theories/Ints/num/QifMake.v
index 6539ea6ab5..c5fc425209 100644
--- a/theories/Ints/num/QifMake.v
+++ b/theories/Ints/num/QifMake.v
@@ -169,8 +169,6 @@ Module Qif.
   | BigN.N4 _ => false
   | BigN.N5 _ => false
   | BigN.N6 _ => false
-  | BigN.N7 _ => false
-  | BigN.N8 _ => false
   | _         => true 
   end.
 
-- 
cgit v1.2.3