From 2eb5438e6ffa71a0560741f303fa287f843dcec3 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 15 Oct 2012 09:32:46 +0000
Subject: [PATCH] compile resource demo for Chi

---
 lib/src/demo/ResourceDemoEng.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/demo/ResourceDemoEng.gf b/lib/src/demo/ResourceDemoEng.gf
index 049d96f71..cace07dc2 100644
--- a/lib/src/demo/ResourceDemoEng.gf
+++ b/lib/src/demo/ResourceDemoEng.gf
@@ -131,7 +131,7 @@ lin
 
    ComplV2 v np = mkVP v np ;
    ModCN ap cn = lin CN (mkCN <lin AP ap : AP> <lin CN cn : CN>) ;
-   CompAP ap = mkVP (lin AP ap) ;
+   CompAP ap = mkVP <(lin AP ap) : AP> ;
    ConjS co x y = mkS (lin Conj co) (lin S x) (lin S y) ;
    ConjAP co x y = mkAP co x y ;
    ConjNP co x y = mkNP co x y ;