Use opt_manage framework for tailrec
authorAndreas Zwinkau <zwinkau@kit.edu>
Wed, 26 Oct 2011 08:48:29 +0000 (10:48 +0200)
committerAndreas Zwinkau <zwinkau@kit.edu>
Wed, 26 Oct 2011 08:53:05 +0000 (10:53 +0200)
Fixes test opt/fehler204


No differences found