mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
cache datatype util in context to avoid performance bug, codeplex issue 195
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
This commit is contained in:
parent
39892aae10
commit
0482e7fe72
|
@ -987,8 +987,6 @@ void extract_example() {
|
|||
}
|
||||
|
||||
int main() {
|
||||
slow();
|
||||
return 0;
|
||||
|
||||
try {
|
||||
demorgan(); std::cout << "\n";
|
||||
|
|
Loading…
Reference in a new issue