From f6d1f4db60e0561fa6c045d407bd86d445bef2d5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 20 Nov 2013 17:25:00 -0800
Subject: [PATCH] chore(library/tactic): remove trash

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/tactic/goal.cpp | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/library/tactic/goal.cpp b/src/library/tactic/goal.cpp
index 4bdbfbeed4..02691d43ed 100644
--- a/src/library/tactic/goal.cpp
+++ b/src/library/tactic/goal.cpp
@@ -106,10 +106,4 @@ std::pair<goal, goal_proof_fn> to_goal(environment const & env, context const &
     return mk_pair(goal(reverse_to_list(hypotheses.begin(), hypotheses.end()), conclusion),
                    goal_proof_fn(std::move(consts)));
 }
-
-#if 0
-
-
-
-#endif
 }