From 4e893d3902b08ee4c3c18b3f3467c79d4664b893 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 28 Apr 2014 12:02:59 -0700
Subject: [PATCH] fix(kernel/constraint): printer

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/constraint.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/kernel/constraint.cpp b/src/kernel/constraint.cpp
index 91ba1be9e1..fb40f8705b 100644
--- a/src/kernel/constraint.cpp
+++ b/src/kernel/constraint.cpp
@@ -134,10 +134,13 @@ std::ostream & operator<<(std::ostream & out, constraint const & c) {
     switch (c.kind()) {
     case constraint_kind::Eq:
         out << cnstr_lhs_expr(c) << " ≈ " << cnstr_rhs_expr(c);
+        break;
     case constraint_kind::Convertible:
         out << cnstr_lhs_expr(c) << " ↠ " << cnstr_rhs_expr(c);
+        break;
     case constraint_kind::Level:
         out << cnstr_lhs_level(c) << " ≤ " << cnstr_rhs_level(c);
+        break;
     case constraint_kind::Choice:
         out << cnstr_choice_expr(c) << " ∊ {";
         bool first = true;
@@ -146,6 +149,7 @@ std::ostream & operator<<(std::ostream & out, constraint const & c) {
             out << e;
         }
         out << "}";
+        break;
     }
     return out;
 }