From d7e7e6756b46998e864cc00355d1946b69a43c1a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 27 Apr 2008 16:27:38 +0000
Subject: Suite r10857

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10858 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Numbers/Integer/TreeMod/ZTreeMod.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'theories/Numbers/Integer/TreeMod/ZTreeMod.v')

diff --git a/theories/Numbers/Integer/TreeMod/ZTreeMod.v b/theories/Numbers/Integer/TreeMod/ZTreeMod.v
index e885d25bc7..f81c71d728 100644
--- a/theories/Numbers/Integer/TreeMod/ZTreeMod.v
+++ b/theories/Numbers/Integer/TreeMod/ZTreeMod.v
@@ -8,13 +8,13 @@
 (*                      Evgeny Makarov, INRIA, 2007                     *)
 (************************************************************************)
 
-(*i i*)
+(*i $Id:$ i*)
 
 Require Export NZAxioms.
 Require Import NMake. (* contains W0Type *)
 Require Import ZnZ.
-Require Import Basic_type. (* contais base *)
-Require Import ZAux.
+Require Import Basic_type. (* contains base *)
+Require Import Zaux.
 
 Module NZBigIntsAxiomsMod (Import BoundedIntsMod : W0Type) <: NZAxiomsSig.
 
-- 
cgit v1.2.3