From dd426d19ab6e05d2dfac2e5941b497de27846e42 Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Wed, 14 Jan 2015 16:16:03 +0100 Subject: [PATCH] Removed unnecessary header. --- examples/step-7/step-7.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/step-7/step-7.cc b/examples/step-7/step-7.cc index 0bc9e4deaf..f66e044807 100644 --- a/examples/step-7/step-7.cc +++ b/examples/step-7/step-7.cc @@ -36,7 +36,6 @@ #include #include #include -#include #include #include #include -- 2.39.5