1.1 --- a/src/Tools/isac/BridgeJEdit/parseC.sml	Sun Aug 02 12:32:34 2020 +0200
     1.2 +++ b/src/Tools/isac/BridgeJEdit/parseC.sml	Fri Aug 14 12:36:33 2020 +0200
     1.3 @@ -10,11 +10,12 @@
     1.4    type problem
     1.5    val problem: problem parser
     1.6  
     1.7 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.8 +(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
     1.9    (*tools*)
    1.10    val tokenize: string -> Token.T list
    1.11    val string_of_toks: Token.T list -> string
    1.12    val parse: (Token.T list -> 'a * Token.T list) -> Token.T list -> 'a * Token.T list
    1.13 +(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.14  
    1.15    (*Problem headline*)
    1.16    type problem_headline