git.libre-soc.org Git - cvc5.git/commit

author	Morgan Deters <mdeters@gmail.com>
	Sat, 29 Sep 2012 17:48:46 +0000 (17:48 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sat, 29 Sep 2012 17:48:46 +0000 (17:48 +0000)
commit	4801f553640a7005eb26e89a1635f16669a13631
tree	8368cff83b51a6bfe0541962c8239b7e0d365d26	tree
parent	304bdf18169ab0070ddbd6d4c9ebea8be46314b1	commit \| diff

Fix a few segfaults in driver.

(this commit was certified error- and warning-free by the test-and-commit script.)