add missing break stmt to example

Reported by Henrique Preto
NikolajBjorner · Oct 14, 2022 · 87e4522 · 87e4522
1 parent e2cfc53
commit 87e4522
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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");