src/Provers/classical.ML
changeset 33519 e31a85f92ce9
parent 33369 470a7b233ee5
child 33522 737589bb9bb8
--- 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;