mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
fixed compilation bug
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
12a255e36b
commit
91c65178c7
|
@ -34,6 +34,7 @@ Notes:
|
|||
#include"expr2dot.h"
|
||||
#include"propagate_values_tactic.h"
|
||||
#include"sls_tactic.h"
|
||||
#include"nnf_tactic.h"
|
||||
|
||||
class sls_tactic : public tactic {
|
||||
class stats {
|
||||
|
|
Loading…
Reference in a new issue