From e1b67145718cd9f224b7c86d682f81172d1b4f9f Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 12 Apr 2002 07:13:31 +0000
Subject: maj test des reals

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2636 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/test/custom/Rsigma | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 contrib/extraction/test/custom/Rsigma

(limited to 'contrib')

diff --git a/contrib/extraction/test/custom/Rsigma b/contrib/extraction/test/custom/Rsigma
new file mode 100644
index 000000000..d8f1b3e7b
--- /dev/null
+++ b/contrib/extraction/test/custom/Rsigma
@@ -0,0 +1,2 @@
+Load "custom/Reals".
+
-- 
cgit v1.2.3