src/HOL/Lifting.thy

--- a/src/HOL/Lifting.thy	Wed Oct 29 14:40:14 2014 +0100
+++ b/src/HOL/Lifting.thy	Wed Oct 29 15:02:29 2014 +0100
@@ -548,7 +548,6 @@
 named_theorems relator_eq_onp
   "theorems that a relator of an eq_onp is an eq_onp of the corresponding predicate"
 ML_file "Tools/Lifting/lifting_info.ML"
-setup Lifting_Info.setup
 
 (* setup for the function type *)
 declare fun_quotient[quot_map]