max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/tactic/smt/ematch): warning

Browse source
This commit is contained in:
Leonardo de Moura 2017-01-09 19:28:36 -08:00
parent 30a962d5e0
commit c726f19d32
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/tactic/smt/ematch.cpp
View file

@ -105,7 +105,7 @@ struct ematch_cnstr_cell {
/* Ematching constraint smart pointer */
class ematch_cnstr {
friend class ematch_cnstr_cell;
friend struct ematch_cnstr_cell;
ematch_cnstr_cell * m_data;
public:
ematch_cnstr():m_data(nullptr) {}