refactor(util): make 'util/test.h' the first include
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
6aec85e6c2
commit
037ebfd1d4
5 changed files with 5 additions and 5 deletions
|
@ -5,8 +5,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
|
|||
Author: Leonardo de Moura
|
||||
*/
|
||||
#include <vector>
|
||||
#include "util/buffer.h"
|
||||
#include "util/test.h"
|
||||
#include "util/buffer.h"
|
||||
using namespace lean;
|
||||
|
||||
template<typename C>
|
||||
|
|
|
@ -5,9 +5,9 @@ Released under Apache 2.0 license as described in the file LICENSE.
|
|||
Author: Leonardo de Moura
|
||||
*/
|
||||
#include <vector>
|
||||
#include "util/test.h"
|
||||
#include "util/list.h"
|
||||
#include "util/list_fn.h"
|
||||
#include "util/test.h"
|
||||
using namespace lean;
|
||||
|
||||
static void tst1() {
|
||||
|
|
|
@ -4,8 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
|
|||
|
||||
Author: Leonardo de Moura
|
||||
*/
|
||||
#include "util/scoped_map.h"
|
||||
#include "util/test.h"
|
||||
#include "util/scoped_map.h"
|
||||
using namespace lean;
|
||||
|
||||
static void tst1() {
|
||||
|
|
|
@ -4,8 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
|
|||
|
||||
Author: Leonardo de Moura
|
||||
*/
|
||||
#include "util/scoped_set.h"
|
||||
#include "util/test.h"
|
||||
#include "util/scoped_set.h"
|
||||
using namespace lean;
|
||||
|
||||
static void tst1() {
|
||||
|
|
|
@ -6,8 +6,8 @@ Author: Leonardo de Moura
|
|||
*/
|
||||
#include <sstream>
|
||||
#include <string>
|
||||
#include "util/name.h"
|
||||
#include "util/test.h"
|
||||
#include "util/name.h"
|
||||
#include "util/numerics/mpq.h"
|
||||
#include "util/sexpr/sexpr.h"
|
||||
#include "util/sexpr/sexpr_fn.h"
|
||||
|
|
Loading…
Reference in a new issue