From 010ee665a926a3289c0cb46cfb6cb5b27d63735d Mon Sep 17 00:00:00 2001
From: Denis Davydov <davydden@gmail.com>
Date: Wed, 30 May 2018 00:50:01 +0200
Subject: [PATCH] use initlog()

---
 tests/base/timer_08.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tests/base/timer_08.cc b/tests/base/timer_08.cc
index dd2aea9939..dcb7083116 100644
--- a/tests/base/timer_08.cc
+++ b/tests/base/timer_08.cc
@@ -64,8 +64,7 @@ test(TimerOutput::OutputType output_type)
 int
 main()
 {
-  std::ofstream logfile("output");
-  deallog.attach(logfile);
+  initlog();
 
   deallog << "cpu_times:" << std::endl;
   test(TimerOutput::cpu_times);
-- 
2.39.5