# HG changeset patch
# User eberlm
# Date 1422451469 -3600
# Node ID 2bd467b71d15e39b6f458a92fc0e0fe4484369b6
# Parent  588b81d1982339b55ff667e6b0a7a15e49ff228d
Fixed bug in bugfix for function package

diff -r 588b81d19823 -r 2bd467b71d15 src/HOL/Tools/Function/mutual.ML
--- a/src/HOL/Tools/Function/mutual.ML	Wed Jan 28 12:26:56 2015 +0100
+++ b/src/HOL/Tools/Function/mutual.ML	Wed Jan 28 14:24:29 2015 +0100
@@ -254,6 +254,7 @@
           (fn (i, T) => fn (acc, ctxt) =>
             case mk_var ("x" ^ string_of_int i) T ctxt of (x, ctxt) => (x :: acc, ctxt))
           cargTs ([], name_ctxt)
+    val arg_vars = rev arg_vars
 
     val argsT = fastype_of (HOLogic.mk_tuple arg_vars)
     val (args, name_ctxt) = mk_var "x" argsT name_ctxt