src/Provers/classical.ML

--- a/src/Provers/classical.ML	Sun Nov 08 16:28:18 2009 +0100
+++ b/src/Provers/classical.ML	Sun Nov 08 16:30:41 2009 +0100
@@ -868,7 +868,7 @@
 
 (* local clasets *)
 
-structure LocalClaset = ProofDataFun
+structure LocalClaset = Proof_Data
 (
   type T = claset;
   val init = get_global_claset;