# HG changeset patch
# User wenzelm
# Date 1464029110 -7200
# Node ID 547460dc5c1ef80babac9b255dd50e1e268f2de6
# Parent  39dca48916014791aa63cab1f2872a67d0194dcb
tuned;

diff -r 39dca4891601 -r 547460dc5c1e src/HOL/Tools/Lifting/lifting_setup.ML
--- 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 *)