--- a/Quot/Examples/FSet.thy	Tue Dec 22 20:51:37 2009 +0100
+++ b/Quot/Examples/FSet.thy	Tue Dec 22 21:06:46 2009 +0100
@@ -39,7 +39,7 @@
 
 
 ML {*
-open Quotient_Def;
+open Quotient_Term;
 *}
 
 ML {*