From 57b55a58242c806869eb1e8c1b08c6f7f6f69d32 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Mon, 24 Oct 2011 19:27:36 +0000
Subject: [PATCH] DisplayBuffer: deactivate too expensive check

---
 src/display_buffer.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/display_buffer.cc b/src/display_buffer.cc
index a263d8f58..547cca2bd 100644
--- a/src/display_buffer.cc
+++ b/src/display_buffer.cc
@@ -123,10 +123,7 @@ void DisplayBuffer::check_invariant() const
     {
         assert(it->end() >= it->begin());
         if (it != begin())
-        {
             assert(prev_it->end() == it->begin());
-            assert(prev_it->end_coord() == it->coord());
-        }
         prev_it = it;
     }
 }