From 9a0ed84dcaab67b13b5fedfeae6acd8bf1f5bdaf Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 20 Sep 2017 16:46:49 +0200 Subject: executor: remove unused headers --- executor/executor.cc | 2 -- 1 file changed, 2 deletions(-) (limited to 'executor') diff --git a/executor/executor.cc b/executor/executor.cc index ce8d0ed2f..cd0e406ff 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -8,7 +8,6 @@ #include #include #include -#include #include #include #include @@ -19,7 +18,6 @@ #include #include #include -#include #include #include #include -- cgit mrf-deployment