--- a/src/Provers/simplifier.ML Fri Apr 03 14:37:48 1998 +0200
+++ b/src/Provers/simplifier.ML Fri Apr 03 14:38:19 1998 +0200
@@ -250,7 +250,7 @@
(* data kind simpset *)
-val simpsetK = "simpset";
+val simpsetK = "Provers/simpset";
exception SimpsetData of simpset ref;
local