From 33d96c1a37712452ce242396be5a2c799e2511bf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 17 Aug 2020 08:33:59 -0700
Subject: [PATCH] fix #4643

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_internalizer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/smt_internalizer.cpp b/src/smt/smt_internalizer.cpp
index 29eb06b78..63bc18b29 100644
--- a/src/smt/smt_internalizer.cpp
+++ b/src/smt/smt_internalizer.cpp
@@ -1415,6 +1415,7 @@ namespace smt {
                 m_stats.m_num_mk_bin_clause++;
                 return nullptr;
             }
+            Z3_fallthrough;
         default: {
             m_stats.m_num_mk_clause++;
             unsigned iscope_lvl = lemma ? get_max_iscope_lvl(num_lits, lits) : 0;