From 87e45221fd71e88ca56ea8e06e34d22b4c7f8f5a Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Fri, 14 Oct 2022 09:43:18 +0100
Subject: [PATCH] add missing break stmt to example Reported by Henrique Preto

---
 examples/c/test_capi.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index 6e6bf84fe..98842bb9c 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -561,6 +561,7 @@ void display_ast(Z3_context c, FILE * out, Z3_ast v)
     }
     case Z3_QUANTIFIER_AST: {
         fprintf(out, "quantifier");
+        break;
     }
     default:
         fprintf(out, "#unknown");