1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Tue Apr 21 10:13:30 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Tue Apr 21 10:53:04 2020 +0200
     1.3 @@ -5,9 +5,12 @@
     1.4  
     1.5  signature METHOD =
     1.6  sig
     1.7 +  type T = Meth_Def.T
     1.8  
     1.9  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.10 +  (*NONE*)
    1.11  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.12 +  (*NONE*)
    1.13  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.14  end
    1.15  
    1.16 @@ -16,5 +19,6 @@
    1.17  struct
    1.18  (**)
    1.19  
    1.20 +type T = Meth_Def.T;
    1.21  
    1.22  (**)end(**)