tuned whitespace
authorhaftmann
Thu Sep 16 08:18:34 2010 +0200 (2010-09-16)
changeset 394364a7d09da2b9c
parent 39435 5d18f4c00c07
child 39437 8c23c61c6d5c
child 39458 13c8577e1783
child 39459 7753083c00e6
child 39461 0ed0f015d140
child 39471 55e0ff582fa4
tuned whitespace
src/Tools/nbe.ML
     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