From 2c1af4dc3b0087a38abc197ad50a1f4cfcd95b61 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtanb@gmail.com>
Date: Mon, 15 Mar 2010 12:22:52 +0100
Subject: [PATCH] bug fix: missing break in switch statement

---
 preprocessor/ExprNode.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/preprocessor/ExprNode.cc b/preprocessor/ExprNode.cc
index f7ea4851f..687f1b8cc 100644
--- a/preprocessor/ExprNode.cc
+++ b/preprocessor/ExprNode.cc
@@ -3132,6 +3132,7 @@ TrinaryOpNode::writeOutput(ostream &output, ExprNodeOutputType output_type,
           arg3->writeOutput(output, output_type, temporary_terms);
           output << ")";
         }
+      break;
     case oNormpdf:
       if (IS_C(output_type))
         {
@@ -3157,6 +3158,8 @@ TrinaryOpNode::writeOutput(ostream &output, ExprNodeOutputType output_type,
           output << ")";
         }
       break;
+    default:
+      assert(false);
     }
 }