mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-26 18:45:33 +00:00
Code Activity

add missing break stmt to example

Browse source 
Reported by Henrique Preto
This commit is contained in:
Nuno Lopes 2022-10-14 09:43:18 +01:00
parent e2cfc53c9f
commit 87e45221fd
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
examples/c/test_capi.c
View file

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