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");