Skip to content

Commit 0cf4295

Browse files
Fix linting
1 parent 7c44d75 commit 0cf4295

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

src/runner.cpp

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,9 @@ namespace libsemigroups {
3636
namespace py = pybind11;
3737

3838
namespace {
39-
using namespace std::chrono;
39+
using std::chrono::high_resolution_clock;
40+
using std::chrono::system_clock;
41+
using std::chrono::time_point_cast;
4042
template <
4143
typename TimePoint,
4244
std::enable_if_t<std::is_same_v<TimePoint, high_resolution_clock>, bool>

0 commit comments

Comments
 (0)