From b48c4449788a25bd4e14887614569516fae54d18 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 8 Jan 2013 21:22:45 +0000
Subject: [PATCH] ML API: build system fix

---
 scripts/mk_util.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 34a25781a..c1f899f6d 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -357,7 +357,6 @@ def check_ml():
     os.remove('hello.cmx')
     os.remove('hello.obj')
     os.remove('a.out')
-    t.__del__()
     find_ml_lib()
 
 def find_ml_lib():