1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Feb 13 15:25:16 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Feb 13 16:17:59 2018 +0100
     1.3 @@ -205,8 +205,8 @@
     1.4  
     1.5    ML_file "Knowledge/gcd_poly_ml.sml"
     1.6    ML_file "Knowledge/gcd_poly_winkler.sml" (*must be after gcd_poly_ml.sml: redefines functions*)
     1.7 +  ML_file "Knowledge/rational.sml"
     1.8  (*---------------------- check test file by testfile -------------------------------------------
     1.9 -  ML_file "Knowledge/rational.sml"
    1.10    ML_file "Knowledge/equation.sml"
    1.11    ML_file "Knowledge/root.sml"
    1.12    ML_file "Knowledge/lineq.sml"