From cd6c6ffa22c3179756218aa718c309bebe3e4a42 Mon Sep 17 00:00:00 2001 From: Constantin Michael Date: Thu, 6 Oct 2011 09:23:04 +0200 Subject: Remove unnecessary header file --- odb/option-types.cxx | 1 - 1 file changed, 1 deletion(-) (limited to 'odb/option-types.cxx') diff --git a/odb/option-types.cxx b/odb/option-types.cxx index cc4b28b..870fb1d 100644 --- a/odb/option-types.cxx +++ b/odb/option-types.cxx @@ -7,7 +7,6 @@ #include #include #include // std::lower_bound -#include // std::ostringstream #include -- cgit v1.1