On Wed, Jan 23, 2013 at 6:01 PM, Dan Espen <des...@verizon.net> wrote: > Changes committed.
Seems like it is no longer crashing, at least not upon quick testing. If crashes come back in everyday use, so will I. Thanks for fixing. Vladimir -- Vladimir Klebanov Postdoctoral Researcher, Application-oriented Formal Verification Karlsruhe Institute of Technology http://formal.iti.kit.edu/~klebanov