--- a/src/Provers/classical.ML Fri Apr 03 14:37:48 1998 +0200
+++ b/src/Provers/classical.ML Fri Apr 03 14:38:19 1998 +0200
@@ -140,7 +140,7 @@
(* data kind claset -- forward declaration *)
-val clasetK = "claset";
+val clasetK = "Provers/claset";
exception ClasetData of object ref;
local