changeset 44241 | 7943b69f0188 |
parent 42415 | 10accf397ab6 |
child 46102 | b669437de253 |
--- a/src/HOL/Tools/Nitpick/nitpick_preproc.ML Wed Aug 17 16:46:58 2011 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick_preproc.ML Wed Aug 17 18:05:31 2011 +0200 @@ -634,7 +634,7 @@ fun app f = list_comb (f (), map Bound (length arg_Ts - 1 downto 0)) in - List.foldr absdummy (connective $ app pos $ app neg) arg_Ts + fold_rev absdummy arg_Ts (connective $ app pos $ app neg) end end else