From 9b1cf4d47e6457ca459b124dc6d07d25843bbb98 Mon Sep 17 00:00:00 2001 From: Michael Zingale Date: Mon, 1 Jul 2024 07:05:41 -0400 Subject: [PATCH] remove unneeded header --- Source/driver/Castro.H | 2 -- 1 file changed, 2 deletions(-) diff --git a/Source/driver/Castro.H b/Source/driver/Castro.H index f5447c0427..8c7b9c13f8 100644 --- a/Source/driver/Castro.H +++ b/Source/driver/Castro.H @@ -46,8 +46,6 @@ using namespace castro; #include -#include - using std::istream; using std::ostream;