1.1 --- a/src/Tools/isac/Interpret/appl.sml	Thu Oct 24 15:00:44 2013 +0200
     1.2 +++ b/src/Tools/isac/Interpret/appl.sml	Thu Oct 24 17:24:47 2013 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4      then 
     1.5        let 
     1.6          val thy' = get_obj g_domID pt p'
     1.7 -        val {rew_ord', erls, ...} = et_met (get_obj g_metID pt p')              
     1.8 +        val {rew_ord', erls, ...} = get_met (get_obj g_metID pt p')              
     1.9  	    in ("OK", thy', rew_ord', erls, false) end
    1.10       else 
    1.11        let