1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Oct 06 16:15:29 2011 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Oct 06 17:43:00 2011 +0200
     1.3 @@ -12,11 +12,4 @@
     1.4  "--------------------------------------------------------";
     1.5  
     1.6  
     1.7 -"----------- get_denominator ----------------------------";
     1.8 -"----------- get_denominator ----------------------------";
     1.9 -"----------- get_denominator ----------------------------";
    1.10 -val t = @{term "a/(b::real)"};
    1.11 -val SOME (str, t') = eval_get_denominator "" 0 t @{theory Isac};
    1.12 -if term2str t' = "a / b = b" then () else error "eval_get_denominator";
    1.13  
    1.14 -