1.1 --- a/src/Tools/isac/Specify/generate.sml	Tue Feb 11 11:58:45 2020 +0100
     1.2 +++ b/src/Tools/isac/Specify/generate.sml	Tue Feb 11 17:25:45 2020 +0100
     1.3 @@ -5,8 +5,6 @@
     1.4  
     1.5  signature GENERATE_CALC_TREE =
     1.6  sig
     1.7 -  (* vvv request into signature is incremental with *.sml *)
     1.8 -  (* for calchead.sml ---------------------------------------------------------------  vvv *)
     1.9    type taci
    1.10    val e_taci : taci
    1.11    datatype pblmet = Method of Celem.metID | Problem of Celem.pblID | Upblmet