From 3070725cce3e9c3ed8cc11c172f94bf4e84c813a Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 2 Jul 2010 16:42:42 -0700
Subject: [PATCH] Simplify type before deciding how to free it. Hint: calling
 free() on a running task is usually a bad idea.

---
 src/boot/me/trans.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index abeff66e131..7cefa5aff6f 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -2616,7 +2616,7 @@ let trans_visitor
       (cell:Il.cell)
       (curr_iso:Ast.ty_iso option)
       : unit =
-    match ty with
+    match simplified_ty ty with
         Ast.TY_port _ -> trans_del_port cell
       | Ast.TY_chan _ -> trans_del_chan cell
       | Ast.TY_task -> trans_kill_task cell