From 9357a53a7daf9071fc7e46bb6b511c318f02fdbe Mon Sep 17 00:00:00 2001
From: Dhruba Borthakur <dhruba@fb.com>
Date: Wed, 17 Jul 2013 15:08:56 -0700
Subject: [PATCH] Fix merge problems with options.

Summary:
Fix merge problems with options.

Test Plan:

Reviewers:

CC:

Task ID: #

Blame Rev:
---
 util/options.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/options.cc b/util/options.cc
index 0ceba55a7a..c2c7e15eb9 100644
--- a/util/options.cc
+++ b/util/options.cc
@@ -75,7 +75,7 @@ Options::Options()
       access_hint_on_compaction_start(NORMAL),
       use_adaptive_mutex(false),
       bytes_per_sync(0),
-      compaction_style(kCompactionStyleLevel) {
+      compaction_style(kCompactionStyleLevel),
       deletes_check_filter_first(false) {
 }