src/Pure/Isar/proof_context.ML
changeset 62958 b41c1cb5e251
parent 62773 e6443edaebff
child 62959 19c2a58623ed
     1.1 --- a/src/Pure/Isar/proof_context.ML	Tue Apr 12 13:49:37 2016 +0200
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Tue Apr 12 14:38:57 2016 +0200
     1.3 @@ -666,7 +666,7 @@
     1.4  
     1.5  fun prepare_patterns ctxt =
     1.6    let val Mode {pattern, ...} = get_mode ctxt in
     1.7 -    Type_Infer.fixate ctxt #>
     1.8 +    Type_Infer.fixate ctxt pattern #>
     1.9      pattern ? Variable.polymorphic ctxt #>
    1.10      (map o Term.map_types) (prepare_patternT ctxt) #>
    1.11      (if pattern then prepare_dummies else map (check_dummies ctxt))