mirror of
https://github.com/Z3Prover/z3
synced 2025-04-20 07:36:38 +00:00
missing virtual functions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
06771d1ac5
commit
8c2ba3d47e
|
@ -41,6 +41,7 @@ Notes:
|
|||
|
||||
|
||||
class non_parallel_tactic : public tactic {
|
||||
public:
|
||||
non_parallel_tactic(solver* s, params_ref const& p) {
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue