From 55fb678db2ee0568be5a2bf321955d1121b22bed Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 Feb 2015 18:48:23 -0800
Subject: [PATCH] fix(library/tactic/location): clang++ 3.3 compilation problem

---
 src/library/tactic/location.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/library/tactic/location.h b/src/library/tactic/location.h
index 9366c607bd..b7f1fe3b30 100644
--- a/src/library/tactic/location.h
+++ b/src/library/tactic/location.h
@@ -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) {}