mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
add virtual destructor to see if this helps ASan error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
94d1695b01
commit
13ee8da659
|
@ -151,6 +151,7 @@ namespace nlsat {
|
|||
class solver_exception : public default_exception {
|
||||
public:
|
||||
solver_exception(char const * msg):default_exception(msg) {}
|
||||
virtual ~solver_exception() {}
|
||||
};
|
||||
|
||||
class assignment;
|
||||
|
|
Loading…
Reference in a new issue