StrategoXT/811: Doubling strategies -- quick fix, should rewrite pack-stratego
StrategoXT/811: Doubling strategies -- quick fix, should rewrite pack-stratego

svn path=/strategoxt/trunk/; revision=20800

metaborg/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt