1 files changed, 1 insertions, 2 deletions
diff --git a/src/op.cc b/src/op.cc
index 2d71f8b5..a39ac532 100644
--- a/src/op.cc
+++ b/src/op.cc
@@ -229,10 +229,9 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const
   string symbol;
 
   switch (kind) {
-  case VALUE: {
+  case VALUE:
     as_value().print(out, context.relaxed);
     break;
-  }
 
   case IDENT:
     out << as_ident();