From: bdemsky <bdemsky@uci.edu>
Date: Fri, 1 Sep 2017 00:46:38 +0000 (-0700)
Subject: Fix mistakenly renamed enum element
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=18346f6ce58bc66d1c9952936efbe6fe813939af;hp=18346f6ce58bc66d1c9952936efbe6fe813939af

Fix mistakenly renamed enum element
---