From 0d600d54070777aa706dbad1d2bbd5191e953cbb Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@airwebreathe.org.uk>
Date: Sun, 7 Apr 2013 18:56:49 +0100
Subject: [PATCH] Removed an uneeded include

---
 pv/prop/double.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pv/prop/double.h b/pv/prop/double.h
index 6b6275c1..b00adb14 100644
--- a/pv/prop/double.h
+++ b/pv/prop/double.h
@@ -22,7 +22,6 @@
 #define PULSEVIEW_PV_PROP_DOUBLE_H
 
 #include <utility>
-#include <vector>
 
 #include <boost/optional.hpp>
 
-- 
2.30.2