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

chore(library/tactic/tactic.h): cleanup

Browse source
This commit is contained in:
Leonardo de Moura 2014-11-27 09:15:49 -08:00
parent 5fff3113a9
commit 976e907c8a
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/tactic.h
View file

@ -27,7 +27,7 @@ public:
typedef lazy_list<proof_state> proof_state_seq; 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> none_tactic() { return optional<tactic>(); }
inline optional<tactic> some_tactic(tactic const & t) { return optional<tactic>(t); } inline optional<tactic> some_tactic(tactic const & t) { return optional<tactic>(t); }