From e76a0434a8d88fb49543cedc9b342d8a1f7019b5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 25 Dec 2004 12:19:39 +0000
Subject: Passage d'une bibliothèque de grands entiers naturels vers une
 bibliothèques de grands entiers relatifs munis des 4 opérations de base

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6505 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/symbols.ml    | 2 +-
 interp/symbols.mli   | 2 +-
 interp/topconstr.ml  | 4 ++--
 interp/topconstr.mli | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'interp')

diff --git a/interp/symbols.ml b/interp/symbols.ml
index b54c3323b7..60e16e7094 100644
--- a/interp/symbols.ml
+++ b/interp/symbols.ml
@@ -11,7 +11,7 @@
 (*i*)
 open Util
 open Pp
-open Bignat
+open Bigint
 open Names
 open Nametab
 open Libnames
diff --git a/interp/symbols.mli b/interp/symbols.mli
index 5760f7c27a..e803d65e7c 100644
--- a/interp/symbols.mli
+++ b/interp/symbols.mli
@@ -11,7 +11,7 @@
 (*i*)
 open Util
 open Pp
-open Bignat
+open Bigint
 open Names
 open Nametab
 open Libnames
diff --git a/interp/topconstr.ml b/interp/topconstr.ml
index c483327b64..56e2171e95 100644
--- a/interp/topconstr.ml
+++ b/interp/topconstr.ml
@@ -483,7 +483,7 @@ type cases_pattern_expr =
   | CPatAtom of loc * reference option
   | CPatOr of loc * cases_pattern_expr list
   | CPatNotation of loc * notation * cases_pattern_expr list
-  | CPatNumeral of loc * Bignat.bigint
+  | CPatNumeral of loc * Bigint.bigint
   | CPatDelimiters of loc * string * cases_pattern_expr
 
 type constr_expr =
@@ -512,7 +512,7 @@ type constr_expr =
   | CSort of loc * rawsort
   | CCast of loc * constr_expr * constr_expr
   | CNotation of loc * notation * constr_expr list
-  | CNumeral of loc * Bignat.bigint
+  | CNumeral of loc * Bigint.bigint
   | CDelimiters of loc * string * constr_expr
   | CDynamic of loc * Dyn.t
 
diff --git a/interp/topconstr.mli b/interp/topconstr.mli
index a3224128a8..152a54dc01 100644
--- a/interp/topconstr.mli
+++ b/interp/topconstr.mli
@@ -77,7 +77,7 @@ type cases_pattern_expr =
   | CPatAtom of loc * reference option
   | CPatOr of loc * cases_pattern_expr list
   | CPatNotation of loc * notation * cases_pattern_expr list
-  | CPatNumeral of loc * Bignat.bigint
+  | CPatNumeral of loc * Bigint.bigint
   | CPatDelimiters of loc * string * cases_pattern_expr
 
 type constr_expr =
@@ -106,7 +106,7 @@ type constr_expr =
   | CSort of loc * rawsort
   | CCast of loc * constr_expr * constr_expr
   | CNotation of loc * notation * constr_expr list
-  | CNumeral of loc * Bignat.bigint
+  | CNumeral of loc * Bigint.bigint
   | CDelimiters of loc * string * constr_expr
   | CDynamic of loc * Dyn.t
 
-- 
cgit v1.2.3