1.1 --- a/src/Tools/isac/Interpret/solve.sml	Thu Dec 22 14:25:34 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Tue Dec 27 13:20:33 2016 +0100
     1.3 @@ -53,7 +53,6 @@
     1.4  
     1.5  | Take cterm'               => ("Take", Take cterm') 
     1.6  | Take_Inst cterm'          => ("Take_Inst", Take_Inst cterm') 
     1.7 -| Group (con, ints) 	    => ("Group", Group (con, ints)) 
     1.8  | Subproblem (domID, pblID) => ("Subproblem", Subproblem (domID, pblID)) 
     1.9  (*
    1.10  | Subproblem_Full(spec,cts')=> ("Subproblem_Full", Subproblem_Full(spec,cts'))