src/Pure/Isar/proof_context.ML
changeset 18708 4b3dadb4fe33
parent 18699 f3bfe81b6e58
child 18728 6790126ab5f6
     1.1 --- a/src/Pure/Isar/proof_context.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -204,7 +204,7 @@
     1.4    fun print _ _ = ();
     1.5  );
     1.6  
     1.7 -val _ = Context.add_setup [ContextData.init];
     1.8 +val _ = Context.add_setup ContextData.init;
     1.9  
    1.10  fun rep_context ctxt = ContextData.get ctxt |> (fn Ctxt args => args);
    1.11