From 790b479f8a867e9056370a0360dd20cfd4c4954f Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@cs.stanford.edu>
Date: Thu, 17 Aug 2017 12:21:09 -0700
Subject: [PATCH] terminalframebuffer.cc: ignore unknown renditions

(revert assert(false) added by 4835dcf)
(fixes #918)
---
 src/terminal/terminalframebuffer.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/terminal/terminalframebuffer.cc b/src/terminal/terminalframebuffer.cc
index 656fc37..222f533 100644
--- a/src/terminal/terminalframebuffer.cc
+++ b/src/terminal/terminalframebuffer.cc
@@ -497,7 +497,7 @@ void Renditions::set_rendition( color_type num )
   case 5: case 25: set_attribute(blink, value); break;
   case 7: case 27: set_attribute(inverse, value); break;
   case 8: case 28: set_attribute(invisible, value); break;
-  default: assert(false);
+  default: break; /* ignore unknown rendition */
   }
 }