No comments

diff --git a/src/WOKBuilder/WOKBuilder_WNTCollector.cxx b/src/WOKBuilder/WOKBuilder_WNTCollector.cxx
index 9b2b573631a2be7064420dc8279cf4f2fda310ad..f230979d1771ad527b7034358197e9e06253c315 100755 (executable)
--- a/src/WOKBuilder/WOKBuilder_WNTCollector.cxx
+++ b/src/WOKBuilder/WOKBuilder_WNTCollector.cxx
@@ -242,9 +242,12 @@ static void FASTCALL  _print_output( Standard_CString msg, WOKBuilder_Tool* tool
   InfoMsg << endm;
 }
 
+// Unused :
+#ifdef DEB
 static void FASTCALL _delete_file(const Handle(TCollection_HAsciiString)& name) 
 {
  Handle(WOKUtils_Path) path = new WOKUtils_Path(name);
  
  if(path->Exists()) path->RemoveFile();
 }
+#endif