src/Pure/simplifier.ML
changeset 21286 b5e7b80caa6a
parent 20872 528054ca23e3
child 21687 f689f729afab
     1.1 --- a/src/Pure/simplifier.ML	Fri Nov 10 07:37:37 2006 +0100
     1.2 +++ b/src/Pure/simplifier.ML	Fri Nov 10 07:44:47 2006 +0100
     1.3 @@ -161,7 +161,7 @@
     1.4  fun generic_simp_tac safe mode ss =
     1.5    let
     1.6      val (_, {loop_tacs, solvers = (unsafe_solvers, solvers), ...}) = MetaSimplifier.rep_ss ss;
     1.7 -    val loop_tac = FIRST' (map (fn (_, tac) => tac ss) loop_tacs);
     1.8 +    val loop_tac = FIRST' (map (fn (_, tac) => tac ss) (rev loop_tacs));
     1.9      val solve_tac = FIRST' (map (MetaSimplifier.solver ss)
    1.10        (if safe then solvers else unsafe_solvers));
    1.11