From: rtrimana <rtrimana@uci.edu>
Date: Thu, 26 Sep 2019 20:32:38 +0000 (-0700)
Subject: Fixing a typo in option name.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=27721787accce613deb7404889fadd12b1a2f136;hp=27721787accce613deb7404889fadd12b1a2f136

Fixing a typo in option name.
---