fixed an obvious assign/compare bug

git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@5773 ac4fbcad-d21d-0410-b760-c7b1d3380187