From 4bc4cc15499235643f5453b8a1452598d6020bb2 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 11 Sep 2016 16:29:12 -0700
Subject: [PATCH] chore(library/type_context): fix style

---
 src/library/type_context.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/library/type_context.cpp b/src/library/type_context.cpp
index e014ce729f..64512fb486 100644
--- a/src/library/type_context.cpp
+++ b/src/library/type_context.cpp
@@ -1640,8 +1640,7 @@ optional<expr> type_context::check_assignment(buffer<expr> const & locals, expr
                                            } else {
                                                tout() << ", but the two local contexts used to declare these metavariables "
                                                       << " are incomparable\n";
-                                           }
-                                    );
+                                           });
                                 return false;
                             }
                         }