Remove now unneeded include

This commit is contained in:
Robbert van der Helm
2020-05-28 19:29:43 +02:00
parent 290a85e902
commit f8d7421a8b
-1
View File
@@ -14,7 +14,6 @@
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
#include <future>
#include <iostream>
#include <thread>