michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/tactic/location): clang++ 3.3 compilation problem

Browse source
This commit is contained in:
Leonardo de Moura 2015-02-04 18:48:23 -08:00
parent 42c2f7eb11
commit 55fb678db2
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/library/tactic/location.h
View file

@ -61,9 +61,10 @@ private:
kind m_kind;
occurrence m_goal;
list<pair<name, occurrence>> m_hyps;
location(kind k, occurrence const & g = occurrence(),
list<pair<name, occurrence>> const & hs = list<pair<name, occurrence>>()):
location(kind k, occurrence const & g, list<pair<name, occurrence>> const & hs):
m_kind(k), m_goal(g), m_hyps(hs) {}
location(kind k, occurrence const & g):m_kind(k), m_goal(g) {}
location(kind k):location(k, occurrence()) {}
public:
location():m_kind(GoalOnly) {}