1.1 --- a/test/Tools/isac/ProgLang/rewrite.sml	Tue Feb 06 15:26:05 2018 +0100
     1.2 +++ b/test/Tools/isac/ProgLang/rewrite.sml	Tue Feb 06 16:18:43 2018 +0100
     1.3 @@ -502,7 +502,7 @@
     1.4  "----------- 2011 thms with axclasses -------------------";
     1.5  "----------- 2011 thms with axclasses -------------------";
     1.6  "----------- 2011 thms with axclasses -------------------";
     1.7 -val thm = num_str @{thm divide_1};
     1.8 +val thm = num_str @{thm div_by_1};
     1.9  val prop = Thm.prop_of thm;
    1.10  atomty prop;                                     (*Type 'a*)
    1.11  val t = str2term "(2*x)/1";                      (*Type real*)