From 12ca29b32b50fd924c5f69a30d204e4332dff4f9 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 30 Nov 2005 18:42:45 +0000
Subject: Transfer: derive instances, not functions.

---
 transfer/examples/stoneage.tr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'transfer/examples/stoneage.tr')

diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tr
index 2b7257f65..3a4b5393b 100644
--- a/transfer/examples/stoneage.tr
+++ b/transfer/examples/stoneage.tr
@@ -203,5 +203,5 @@ data Tree : (_ : Cat)-> Type where {
   You_One : Tree NP
 }
 
-derive composOp Tree
-derive composFold Tree
+derive Compos Tree
+
-- 
cgit v1.2.3