tuned;

--- a/src/HOL/Tools/Lifting/lifting_setup.ML	Mon May 23 15:46:30 2016 +0100
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Mon May 23 20:45:10 2016 +0200
@@ -1018,7 +1018,7 @@
 val _ =
   Outer_Syntax.local_theory @{command_keyword lifting_forget} 
     "unsetup Lifting and Transfer for the given lifting bundle"
-    (Parse.position Parse.name >> (lifting_forget_cmd))
+    (Parse.position Parse.name >> lifting_forget_cmd)
 
 (* lifting_update *)