From adabd22ae4c2c082f510bd6d50ec2288cd9873c1 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Fri, 15 Dec 2006 13:39:58 +0000
Subject: [PATCH] added missing #include <vector>

---
 Filtered_kernel/include/CGAL/Lazy.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Filtered_kernel/include/CGAL/Lazy.h b/Filtered_kernel/include/CGAL/Lazy.h
index 590337dc530..af13c385b87 100644
--- a/Filtered_kernel/include/CGAL/Lazy.h
+++ b/Filtered_kernel/include/CGAL/Lazy.h
@@ -29,6 +29,7 @@
 #include <CGAL/Kernel/Return_base_tag.h>
 #include <CGAL/min_max_n.h>
 #include <CGAL/Origin.h>
+#include <vector>
 
 CGAL_BEGIN_NAMESPACE