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;
                             }
                         }