src/Tools/nbe.ML
changeset 39436 4a7d09da2b9c
parent 39399 267235a14938
child 39475 9cc1ba3c5706
     1.1 --- a/src/Tools/nbe.ML	Thu Sep 16 06:49:46 2010 +0200
     1.2 +++ b/src/Tools/nbe.ML	Thu Sep 16 08:18:34 2010 +0200
     1.3 @@ -555,6 +555,7 @@
     1.4      |> traced (fn _ => "---\n")
     1.5    end;
     1.6  
     1.7 +
     1.8  (* function store *)
     1.9  
    1.10  structure Nbe_Functions = Code_Data