Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Tue, 3 Jul 2012 21:57:40 +0000 (14:57 -0700)
committer	Brian Norris <banorris@uci.edu>
	Fri, 6 Jul 2012 18:54:06 +0000 (11:54 -0700)
commit	9e48f3b0ad6b84ad90d085a55611b60467ebe6dd
tree	6dfb6d4fb46c928a95ef192100816aa80d8901b5	tree \| snapshot
parent	bcb3a311780c22c8a344c1288f1dd883b7b1960a	commit \| diff

model: make set_current_action() private

It's only used within ModelChecker...