From: Brian Norris <banorris@uci.edu>
Date: Wed, 17 Apr 2013 17:45:58 +0000 (-0700)
Subject: execution: correct comment on check_current_action()
X-Git-Tag: oopsla2013~44
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=960e943616c59281fc10cd274ca04300d66c6391;hp=960e943616c59281fc10cd274ca04300d66c6391;p=model-checker.git

execution: correct comment on check_current_action()
---