1.1 --- a/test/Tools/isac/Interpret/rewtools.sml	Wed Dec 05 15:29:36 2012 +0100
     1.2 +++ b/test/Tools/isac/Interpret/rewtools.sml	Wed Dec 05 15:56:38 2012 +0100
     1.3 @@ -569,7 +569,7 @@
     1.4  "-------- build fun get_bdv_subst --------------------------------";
     1.5  "-------- build fun get_bdv_subst --------------------------------";
     1.6  "-------- build fun get_bdv_subst --------------------------------";
     1.7 -val {scr = Script prog, ...} = get_met ["diff", "differentiate_on_R"];
     1.8 +val {scr = Prog prog, ...} = get_met ["diff", "differentiate_on_R"];
     1.9  val env = [(str2term "v_v", str2term "x")];
    1.10  subst2str env = "[\"\n(v_v, x)\"]";
    1.11