mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Merge branch 'master' of https://github.com/Z3Prover/z3
This commit is contained in:
commit
512aa0e8d3
|
@ -46,11 +46,6 @@ public:
|
|||
out_of_memory_error();
|
||||
};
|
||||
|
||||
class exceeded_memory_allocations : public z3_error {
|
||||
public:
|
||||
exceeded_memory_allocations();
|
||||
};
|
||||
|
||||
class memory {
|
||||
public:
|
||||
static bool is_out_of_memory();
|
||||
|
|
Loading…
Reference in a new issue