From dd7d938edee49c8bb593667ae20e534ca72e5a29 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 13:46:36 +0000
Subject: ZArith --> Zarith

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1627 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index 355abd135a..22a282a0f1 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -45,7 +45,7 @@ Hashtbl.add type_table "Coq.Init.Datatypes.nat"
 Hashtbl.add type_table "Coq.ZArith.fast_integer.Z"
 [|[|"";"ZERO";"POS";"NEG"|]|];;
 
-Hashtbl.add type_table "Coq.Zarith.fast_integer.positive"
+Hashtbl.add type_table "Coq.ZArith.fast_integer.positive"
 [|[|"";"xI";"xO";"XH"|]|];;
 
 (*The following two codes are added to cope with the distinction
-- 
cgit v1.2.3