1.1 --- a/src/Tools/isac/Interpret/generate.sml	Mon Dec 19 09:02:41 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/generate.sml	Mon Dec 19 10:37:44 2016 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (* use"ME/generate.sml";
     1.5     use"generate.sml";
     1.6     *)
     1.7 -signature CALC_TREE =
     1.8 +signature GENERATE_CALC_TREE =
     1.9  sig (*vvv request into signature is incremental with *.sml *)
    1.10    (* for calchead.sml --------------------------------------------------------------  vvv *)
    1.11    type taci
    1.12 @@ -30,7 +30,7 @@
    1.13  end
    1.14  
    1.15  (**)
    1.16 -structure Ctree(**): CALC_TREE(**) =
    1.17 +structure Generate(**): GENERATE_CALC_TREE(**) =
    1.18  (**)
    1.19  struct
    1.20  (* initialize istate for Detail_Set *)