src/Tools/Code/code_runtime.ML
changeset 59150 71b416020f42
parent 59127 723b11f8ffbf
child 59151 a012574b78e7
     1.1 --- a/src/Tools/Code/code_runtime.ML	Thu Dec 18 21:10:39 2014 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Fri Dec 19 12:36:50 2014 +0100
     1.3 @@ -336,7 +336,8 @@
     1.4  (
     1.5    type T = (string list * string list) * (bool
     1.6      * (string * (string * string) list) lazy);
     1.7 -  fun init _ = (([], []), (true, (Lazy.value ("", []))));
     1.8 +  val empty: T = (([], []), (true, (Lazy.value ("", []))));
     1.9 +  fun init _ = empty;
    1.10  );
    1.11  
    1.12  val is_first_occ = fst o snd o Code_Antiq_Data.get;