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