On Wed, Jan 23, 2013 at 6:01 PM, Dan Espen <[email protected]> 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
