1.1 --- a/test/Tools/isac/ProgLang/evaluate.sml	Thu Apr 29 17:02:10 2021 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/evaluate.sml	Thu Apr 29 17:05:11 2021 +0200
     1.3 @@ -427,7 +427,7 @@
     1.4  if power ~3 2 = 9 then () else error "power ~3 2 = 9";
     1.5  case \<^try>\<open> power 3 ~2 \<close> of
     1.6    SOME _ => raise error "power 3 ~2: should raise an exn 1"
     1.7 -| NONE => ()
     1.8 +| NONE => ();
     1.9  
    1.10  "----------- fun divisors ----------------------------------------------------------------------";
    1.11  "----------- fun divisors ----------------------------------------------------------------------";