From ddc8d5d0cc0e051ef6edf77728b34bc9cac326f4 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 5 Dec 2005 14:14:19 +0000
Subject: Transfer: fixed Eq derivation to at least work for GF-generated Tree
 types.

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

(limited to 'transfer/examples')

diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tr
index 3a4b5393b..e48c519e6 100644
--- a/transfer/examples/stoneage.tr
+++ b/transfer/examples/stoneage.tr
@@ -1,3 +1,5 @@
+import prelude
+
 data Cat : Type where {
   CN : Cat ;
   NP : Cat ;
@@ -205,3 +207,4 @@ data Tree : (_ : Cat)-> Type where {
 
 derive Compos Tree
 
+derive Eq Tree
\ No newline at end of file
-- 
cgit v1.2.3