1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Wed Jun 13 07:28:39 2012 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Wed Jun 13 10:30:33 2012 +0200
     1.3 @@ -43,6 +43,7 @@
     1.4  "-------- investigate format of factout_ and factout_p_ -";
     1.5  "-------- how to stepwise construct Scripts -------------";
     1.6  "----------- get_denominator ----------------------------";
     1.7 +"-------- build errpat fillpat --------------------------";
     1.8  "--------------------------------------------------------";
     1.9  "--------------------------------------------------------";
    1.10  "--------------------------------------------------------";
    1.11 @@ -2083,3 +2084,7 @@
    1.12  if term2str t' = "get_denominator ((a + x) / b) = b" then ()
    1.13  else error "get_denominator ((a + x) / b) = b"
    1.14  
    1.15 +"-------- build errpat fillpat --------------------------";
    1.16 +"-------- build errpat fillpat --------------------------";
    1.17 +"-------- build errpat fillpat --------------------------";
    1.18 +