src/Pure/Isar/class.ML
changeset 38381 7d1e2a6831ec
parent 38379 67d71449e85b
child 38382 8b02c5bf1d0e
     1.1 --- a/src/Pure/Isar/class.ML	Wed Aug 11 17:16:02 2010 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Wed Aug 11 17:19:27 2010 +0200
     1.3 @@ -597,7 +597,6 @@
     1.4        declaration = K Generic_Target.theory_declaration,
     1.5        syntax_declaration = K Generic_Target.theory_declaration,
     1.6        pretty = single o pretty_instantiation,
     1.7 -      reinit = instantiation arities o ProofContext.theory_of,
     1.8        exit = Local_Theory.target_of o conclude_instantiation};
     1.9  
    1.10  fun instantiation_cmd arities thy =