From 666d440cb2740299b0507f3b0f6c0c28f7f7c447 Mon Sep 17 00:00:00 2001
From: cas <cas@opencascade.com>
Date: Tue, 25 Jan 2000 17:57:33 +0000
Subject: [PATCH] No comments

---
 src/WOKBuilder/WOKBuilder_WNTCollector.cxx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/WOKBuilder/WOKBuilder_WNTCollector.cxx b/src/WOKBuilder/WOKBuilder_WNTCollector.cxx
index 9b2b573..f230979 100755
--- 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
-- 
2.39.5