1.1 --- a/src/Tools/isac/Interpret/appl.sml	Thu Dec 22 14:25:34 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/appl.sml	Tue Dec 27 13:20:33 2016 +0100
     1.3 @@ -577,9 +577,6 @@
     1.4  
     1.5    | applicable_in p pt (Take_Inst ct') = 
     1.6        error ("applicable_in: not impl. for " ^ tac2str (Take_Inst ct'))
     1.7 -  | applicable_in p pt (Group (con, ints)) = 
     1.8 -      error ("applicable_in: not impl. for " ^ tac2str (Group (con, ints)))
     1.9 -
    1.10    | applicable_in (p,p_) pt (m as Subproblem (domID, pblID)) = 
    1.11       if member op = [Pbl,Met] p_
    1.12       then (*maybe Apply_Method has already been done FIXME.WN150511: declare_constraints*)