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

Add <ctime> header for time() in pdeque/pvector tests

Browse source
This commit is contained in:
Soonho Kong 2013-09-13 20:42:49 -07:00
parent 5266e22f05
commit c96a6982a0
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/tests/util/pdeque.cpp
View file

@ -8,6 +8,7 @@ Author: Leonardo de Moura
#include <cstdlib> #include <cstdlib>
#include <deque> #include <deque>
#include <vector> #include <vector>
#include <ctime>
#include "util/test.h" #include "util/test.h"
#include "util/pdeque.h" #include "util/pdeque.h"
using namespace lean; using namespace lean;

1
src/tests/util/pvector.cpp
View file

@ -7,6 +7,7 @@ Author: Leonardo de Moura
#include <iostream> #include <iostream>
#include <cstdlib> #include <cstdlib>
#include <vector> #include <vector>
#include <ctime>
#include "util/test.h" #include "util/test.h"
#include "util/pvector.h" #include "util/pvector.h"
#include "util/timeit.h" #include "util/timeit.h"