From 976e907c8aeb298ff1856f38d274cd5df3ed942c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 27 Nov 2014 09:15:49 -0800
Subject: [PATCH] chore(library/tactic/tactic.h): cleanup

---
 src/library/tactic/tactic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/tactic/tactic.h b/src/library/tactic/tactic.h
index a0e949825..5ab95c706 100644
--- a/src/library/tactic/tactic.h
+++ b/src/library/tactic/tactic.h
@@ -27,7 +27,7 @@ public:
 
 typedef lazy_list<proof_state> proof_state_seq;
 
-typedef std::function<proof_state_seq(environment const &, io_state const & ios, proof_state const &)> tactic;
+typedef std::function<proof_state_seq(environment const &, io_state const &, proof_state const &)> tactic;
 
 inline optional<tactic> none_tactic() { return optional<tactic>(); }
 inline optional<tactic> some_tactic(tactic const & t) { return optional<tactic>(t); }