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

chore(library/blast/blast): fix style

Browse source
This commit is contained in:
Leonardo de Moura 2015-10-30 18:19:29 -07:00
parent 0e4f97792e
commit 914f3b4e34
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/library/blast/blast.cpp
View file

@ -13,7 +13,6 @@ Author: Leonardo de Moura
#include "library/reducible.h" #include "library/reducible.h"
#include "library/normalize.h" #include "library/normalize.h"
#include "library/class.h" #include "library/class.h"
#include "library/util.h"
#include "library/type_inference.h" #include "library/type_inference.h"
#include "library/projection.h" #include "library/projection.h"
#include "library/tactic/goal.h" #include "library/tactic/goal.h"