From cb6f3088b578331cac5f42f9bc0489c5bed4e568 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 28 Nov 2005 22:31:09 +0000
Subject: Fixed transfer composOp generation to support tree types that don't
 take a single type argument.

---
 transfer/examples/exp.tr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'transfer/examples')

diff --git a/transfer/examples/exp.tr b/transfer/examples/exp.tr
index 980c5d724..d6c077c03 100644
--- a/transfer/examples/exp.tr
+++ b/transfer/examples/exp.tr
@@ -5,7 +5,7 @@ data Cat : Type where
   Typ : Cat
   ListStm : Cat
 
-data Tree : Type -> Type where
+data Tree : Cat -> Type where
   SDecl   : Tree Typ -> Tree Var -> Tree Stm
   SAss    : Tree Var -> Tree Exp -> Tree Stm
   SBlock  : Tree ListStm -> Tree Stm
-- 
cgit v1.2.3