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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Fri, 17 May 2013 12:43:24 +0000 (08:43 -0400)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Mon, 20 May 2013 20:53:37 +0000 (16:53 -0400)
commit	d4fb7022845f3ec595cff3fb1b6324e2364d25d3
tree	dddda0f0a1149fbcc150f0dfc4b0a359ae2f5d6a	tree
parent	67cd7748e776bcceefe7b06edcfc316876cca9bd	commit \| diff

Fix to empty response to (get-assignment).

Thanks to David Cok for reporting this issue.