--- a/Quot/quotient_tacs.ML	Tue Dec 22 20:51:37 2009 +0100
+++ b/Quot/quotient_tacs.ML	Tue Dec 22 21:06:46 2009 +0100
@@ -12,7 +12,6 @@
 struct
 
 open Quotient_Info;
-open Quotient_Type;
 open Quotient_Term;