--- inc/IVtkTools_ShapePicker.hxx_orig	2017-01-10 22:10:39.900328412 +0100
+++ inc/IVtkTools_ShapePicker.hxx	2017-01-10 22:10:53.257486154 +0100
@@ -124,8 +124,8 @@
 
   //! Convert display coordinates to world coordinates
   static bool convertDisplayToWorld (vtkRenderer *theRenderer,
-                                     vtkFloatingPointType theDisplayCoord[3],
-                                     vtkFloatingPointType theWorldCoord[3] );
+                                     double theDisplayCoord[3],
+                                     double theWorldCoord[3] );
 
 private: // not copyable
   IVtkTools_ShapePicker (const IVtkTools_ShapePicker&);