src/HOL/Tools/SMT/smt_normalize.ML
changeset 42190 b6b5846504cd
parent 42183 173b0f488428
child 42361 23f352990944
     1.1 --- a/src/HOL/Tools/SMT/smt_normalize.ML	Fri Apr 01 10:18:20 2011 +0200
     1.2 +++ b/src/HOL/Tools/SMT/smt_normalize.ML	Fri Apr 01 11:54:51 2011 +0200
     1.3 @@ -631,7 +631,7 @@
     1.4    |> gen_normalize ctxt
     1.5    |> unfold1 ctxt
     1.6    |> rpair ctxt
     1.7 -  |-> SMT_Monomorph.monomorph true
     1.8 +  |-> SMT_Monomorph.monomorph
     1.9    |-> unfold2
    1.10    |-> apply_extra_norms
    1.11