src/Pure/Isar/toplevel.ML
changeset 59150 71b416020f42
parent 59055 5a7157b8e870
child 59184 830bb7ddb3ab
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Dec 18 21:10:39 2014 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Dec 19 12:36:50 2014 +0100
     1.3 @@ -633,8 +633,7 @@
     1.4  structure Result = Proof_Data
     1.5  (
     1.6    type T = result;
     1.7 -  val empty: T = Result_List [];
     1.8 -  fun init _ = empty;
     1.9 +  fun init _ = Result_List [];
    1.10  );
    1.11  
    1.12  val get_result = Result.get o Proof.context_of;