mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-25 19:36:20 +00:00
Code Activity

replace struct by class

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-05-21 10:42:17 -07:00
parent 19166bd0b5
commit 95b3ffeb25
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/solver/parallel_tactical2.h
View file

@ -20,6 +20,6 @@ Author:
class tactic; class tactic;
class solver; class solver;
struct params_ref; class params_ref;
tactic * mk_parallel_tactic2(solver* s, params_ref const& p); tactic * mk_parallel_tactic2(solver* s, params_ref const& p);