From d72148ffdb1ddef57e8f415d93a42fbb2f84df7c Mon Sep 17 00:00:00 2001
From: Andreas Meyer <ameyer@mpi-inf.mpg.de>
Date: Wed, 2 Aug 2006 16:54:57 +0000
Subject: [PATCH] bugfix for g++-3.3 : added missing #include
 <CGAL/Kernel/mpl.h> ( strange: for g++-3.4/4.x, there was no problem ... )

---
 Kernel_23/include/CGAL/Vector_3.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel_23/include/CGAL/Vector_3.h b/Kernel_23/include/CGAL/Vector_3.h
index 168ebd12212..7c938415f99 100644
--- a/Kernel_23/include/CGAL/Vector_3.h
+++ b/Kernel_23/include/CGAL/Vector_3.h
@@ -25,6 +25,7 @@
 #define CGAL_VECTOR_3_H
 
 #include <CGAL/Origin.h>
+#include <CGAL/Kernel/mpl.h>
 
 CGAL_BEGIN_NAMESPACE