From fb6ae3d50279005f75deb273de1d0067a5fa089a Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 15 Jun 2010 14:28:05 +0000
Subject: Extraction: in support library, more and nicer big_int

 - we use a wrapper file big.ml to have short names about big_int
 and specialized functions for extraction
 - new files : ExtrOcamlZInt for Z==>int and N==>int,
 ExtrOcamlZBigInt for Z==>big_int and N==>big_int

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13137 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/extraction/vo.itarget | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'plugins/extraction/vo.itarget')

diff --git a/plugins/extraction/vo.itarget b/plugins/extraction/vo.itarget
index 338b276840..1fe09f6fa2 100644
--- a/plugins/extraction/vo.itarget
+++ b/plugins/extraction/vo.itarget
@@ -3,4 +3,6 @@ ExtrOcamlIntConv.vo
 ExtrOcamlBigIntConv.vo
 ExtrOcamlNatInt.vo
 ExtrOcamlNatBigInt.vo
+ExtrOcamlZInt.vo
+ExtrOcamlZBigInt.vo
 ExtrOcamlString.vo
\ No newline at end of file
-- 
cgit v1.2.3