1.1 --- a/test/Tools/isac/BridgeLibisabelle/mathml.sml	Tue May 19 12:33:35 2020 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/mathml.sml	Wed May 20 12:52:09 2020 +0200
     1.3 @@ -76,11 +76,11 @@
     1.4  "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------";
     1.5  "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------";
     1.6  val c = "^";
     1.7 -val cs = ["^","^","^","d","e"];
     1.8 +val cs = ["^", "^", "^", "d", "e"];
     1.9  if rm_doublets c [] cs = Symbol.explode "^de" 
    1.10  then () else error "rm_doublets '^^^de' CHANGED";
    1.11  
    1.12 -val cs = ["a","b","^","^","^","d","e"];
    1.13 +val cs = ["a", "b", "^", "^", "^", "d", "e"];
    1.14  if rm_doublets c [] cs = Symbol.explode "ab^de" 
    1.15  then () else error "rm_doublets 'ab^^^de' CHANGED";
    1.16