From 7b4ea9f501ad01f4c137aeeda06d8aef32c05b82 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 9 Apr 2008 19:27:26 +0000
Subject: Verify Setoid is loaded before doing anything.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10774 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/class_tactics.ml4 | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/tactics/class_tactics.ml4 b/tactics/class_tactics.ml4
index 48c94a0746..8cf4d90a6e 100644
--- a/tactics/class_tactics.ml4
+++ b/tactics/class_tactics.ml4
@@ -1418,9 +1418,11 @@ let general_s_rewrite_in id l2r c ~new_goals gl =
   let hypinfo = ref (get_hyp gl c (Some id) l2r) in
     cl_rewrite_clause_aux ~flags:general_rewrite_flags hypinfo meta [] (Some (([],id), [])) gl
     
-let general_s_rewrite_clause = function
-  | None -> general_s_rewrite
-  | Some id -> general_s_rewrite_in id
+let general_s_rewrite_clause x =
+  init_setoid ();
+  match x with
+    | None -> general_s_rewrite
+    | Some id -> general_s_rewrite_in id
 
 let _ = Equality.register_general_setoid_rewrite_clause general_s_rewrite_clause
 
-- 
cgit v1.2.3