1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -244,7 +244,6 @@
     1.4  
     1.5  val (Form f, tac, asms) = pt_extract (pt, p);
     1.6  if term2str f = "4 / (z - 1 / 2) + -4 / (z - -1 / 4)" andalso
     1.7 -  tac = NONE andalso
     1.8    terms2str' asms = "[~ matches (?a = 0) (3 = -3 * B / 4) | ~ lhs (3 = -3 * B / 4) is_poly_in B," ^
     1.9    "B = -4,lhs (3 + 3 / 4 * B = 0) is_poly_in B,lhs (3 + 3 / 4 * B = 0) has_degree_in B = 1," ^
    1.10    "B is_polyexp,A is_polyexp," ^
    1.11 @@ -252,8 +251,9 @@
    1.12    "A = 4,lhs (3 + -3 / 4 * A = 0) is_poly_in A,lhs (3 + -3 / 4 * A = 0) has_degree_in A = 1," ^
    1.13    "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) has_degree_in z = 2," ^
    1.14    "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) is_poly_in z,z = 1 / 2,z = -1 / 4,z is_polyexp]"
    1.15 -then ()
    1.16 -  else error "autoCalculate for met_partial_fraction changed: final result"
    1.17 +then case tac of NONE => ()
    1.18 +  | _ => error "autoCalculate for met_partial_fraction changed: final result 1"
    1.19 +else error "autoCalculate for met_partial_fraction changed: final result 2"
    1.20  
    1.21  show_pt pt;
    1.22  (*[