Hi Dan, On Mon, Jan 21, 2013 at 1:13 AM, Dan Espen <des...@verizon.net> wrote: > Can you update from CVS and try again? > I've committed a change that should fix the problem.
Did you mean "Untitled" instead of "Unknown" in that patch? Vladimir -- Vladimir Klebanov Postdoctoral Researcher, Application-oriented Formal Verification Karlsruhe Institute of Technology http://formal.iti.kit.edu/~klebanov