From d12b7336d0efa8fa9e0be5ecb65e3a360d0c9546 Mon Sep 17 00:00:00 2001
From: Joe Wilm <joe@jwilm.com>
Date: Sun, 18 Sep 2016 20:11:25 -0700
Subject: Delete an extra space

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index f1819b64..eff7ddaa 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -212,7 +212,7 @@ fn main() {
         processor.process_events(&window);
 
         signal_flag.set(false);
- 
+
         // Maybe draw the terminal
         let terminal = terminal.lock_high();
         if terminal.dirty {
-- 
cgit v1.2.3-54-g00ecf