[util] Fix up previous commit
authorBehdad Esfahbod <behdad@behdad.org>
Tue, 6 Nov 2018 16:03:34 +0000 (11:03 -0500)
committerBehdad Esfahbod <behdad@behdad.org>
Tue, 6 Nov 2018 16:03:34 +0000 (11:03 -0500)
commit9bddfde25dc8c302c765a1e9a8a2c38c4a836e2e
tree689924e2f4b9a6e4e819d083cddab2554faaaf71
parent3ec2e4fa7bec07ec181a0390e5f5fd695abee611
[util] Fix up previous commit
util/options.cc