From 998eeabd8c9fbba06fb07e5ddc56d9e524228e94 Mon Sep 17 00:00:00 2001
From: cascade <cascade@opencascade.com>
Date: Fri, 30 Jan 2009 17:53:34 +0000
Subject: [PATCH] OCC20825 Errors during compilation for new version of WOK

---
 src/WOKNT/WOKNT_Shell.cxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/WOKNT/WOKNT_Shell.cxx b/src/WOKNT/WOKNT_Shell.cxx
index 47bcd58..74b7837 100755
--- a/src/WOKNT/WOKNT_Shell.cxx
+++ b/src/WOKNT/WOKNT_Shell.cxx
@@ -66,8 +66,8 @@ void WOKNT_Shell :: Destroy () {
 
  Kill ();
 
- delete myOutput;
-
+ WOKNT_MixedOutput* anOutput = (WOKNT_MixedOutput*)myOutput;
+ delete anOutput;
 }  // end WOKNT_Shell :: Destroy
 
 void WOKNT_Shell :: Launch () {
-- 
2.39.5