better tol in extrude

Mesh/meshGFaceExtruded.cpp

-// $Id: meshGFaceExtruded.cpp,v 1.11 2006-11-27 22:32:01 geuzaine Exp $
+// $Id: meshGFaceExtruded.cpp,v 1.12 2006-11-28 03:12:38 geuzaine Exp $
 //
 // Copyright (C) 1997-2007 C. Geuzaine, J.-F. Remacle
 //
@@ -153,7 +153,7 @@ int MeshExtrudedSurface(GFace *gf)
 
   // build a set with all the vertices on the boundary of gf
   double old_tol = MVertexLessThanLexicographic::tolerance; 
-  MVertexLessThanLexicographic::tolerance = 1.e-12;
+  MVertexLessThanLexicographic::tolerance = 1.e-8 * CTX.lc;
   std::set<MVertex*, MVertexLessThanLexicographic> pos;
   std::list<GEdge*> edges = gf->edges();
   std::list<GEdge*>::iterator it = edges.begin();

Mesh/meshGRegionExtruded.cpp

-// $Id: meshGRegionExtruded.cpp,v 1.4 2006-11-27 22:32:01 geuzaine Exp $
+// $Id: meshGRegionExtruded.cpp,v 1.5 2006-11-28 03:12:38 geuzaine Exp $
 //
 // Copyright (C) 1997-2007 C. Geuzaine, J.-F. Remacle
 //
@@ -177,7 +177,7 @@ int MeshExtrudedVolume(GRegion *gr)
 
   // build a set with all the vertices on the boundary of gr
   double old_tol = MVertexLessThanLexicographic::tolerance; 
-  MVertexLessThanLexicographic::tolerance = 1.e-12;
+  MVertexLessThanLexicographic::tolerance = 1.e-8 * CTX.lc;
   std::set<MVertex*, MVertexLessThanLexicographic> pos;
   std::list<GFace*> faces = gr->faces();
   std::list<GFace*>::iterator it = faces.begin();