Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Thu, 13 Sep 2012 17:16:37 +0000 (10:16 -0700)
committer	Brian Norris <banorris@uci.edu>
	Thu, 13 Sep 2012 17:16:37 +0000 (10:16 -0700)
commit	1d5bf75a20115d8c73b44825f09aab705afce301
tree	94ea2022a09085f831656a67b7f5f791a5c1b46b	tree \| snapshot
parent	6212d5c302f96afb0c0c4497f7292f061d62be0c	commit \| diff

model: simple ASSERT() bug

Don't ASSERT(rf->is_write()) until we're sure that rf is non-NULL.