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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 12 Oct 2010 14:09:54 +0000 (14:09 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 12 Oct 2010 14:09:54 +0000 (14:09 +0000)
commit	ec320b78deaaf31bdae1b8b048f66cfb1b3a4197
tree	bf5fc292d26e49de97fe6c2eff6e2667d56c1895	tree
parent	b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39	commit \| diff

check last result in (get-assignment); some context cleanup