diff -r d50fe358f04a -r ef74a832fd69 src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Wed Jul 03 15:09:16 2019 +0200
+++ b/src/Tools/isac/calcelems.sml	Wed Jul 03 15:30:31 2019 +0200
@@ -606,7 +606,7 @@
         copy-named items are 'generating' if they are NOT "*'''" ?WN120516??
         see ME/calchead.sml 'fun is_copy_named'.                                     *)
       pre        : term list,       (* preconditions in where                        *)
-      scr        : Rule.scr         (* progam, empty as @{thm refl} or Rfuns         *)
+      scr        : Rule.program     (* progam, empty as @{thm refl} or Rfuns         *)
 	   };
 val e_met = {guh = "met_empty", mathauthors = [], init = e_metID, rew_ord' = "e_rew_ord'",
 	erls = Rule.e_rls, srls = Rule.e_rls, prls = Rule.e_rls, calc = [], crls = Rule.e_rls,