From 75effdc265e716651c860d0878ffbfc205646cbd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 26 Oct 2000 12:27:42 +0000
Subject: Ajout de la mthode load_function pour exporter les
 'tactic-ring-theory'

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

diff --git a/contrib/ring/ring.ml b/contrib/ring/ring.ml
index cac953b38f..cada4f3fca 100644
--- a/contrib/ring/ring.ml
+++ b/contrib/ring/ring.ml
@@ -147,7 +147,7 @@ let (theory_to_obj, obj_to_theory) =
   let cache_th (_,(c, th)) = theories_map_add (c,th)
   and spec_th x = x in
   declare_object ("tactic-ring-theory",
-		  { load_function = (fun _ -> ());
+		  { load_function = cache_th;
 		    open_function = (fun _ -> ());
                     cache_function = cache_th;
 		    specification_function = spec_th })
-- 
cgit v1.2.3