src/HOL/Library/Fraction_Field.thy

--- a/src/HOL/Library/Fraction_Field.thy	Wed Sep 23 09:50:38 2015 +0200
+++ b/src/HOL/Library/Fraction_Field.thy	Thu Sep 24 13:33:42 2015 +0200
@@ -47,7 +47,7 @@
 
 end
 
-quotient_type 'a fract = "'a :: idom \<times> 'a" / partial: "fractrel"
+quotient_type (overloaded) 'a fract = "'a :: idom \<times> 'a" / partial: "fractrel"
 by(rule part_equivp_fractrel)
 
 subsubsection \<open>Representation and basic operations\<close>