1 files changed, 0 insertions, 1 deletions
diff --git a/src/op.cc b/src/op.cc
index beffab9e..902d370a 100644
--- a/src/op.cc
+++ b/src/op.cc
@@ -490,7 +490,6 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const
     break;
 
   case O_CONS:
-    assert(has_right());
     out << "(";
     found = print_cons(out, this, context);
     out << ")";