compile resource demo for Chi

2012-10-15 09:32:46 +00:00
parent 5472b4b5e7
commit 2eb5438e6f
1 changed files with 1 additions and 1 deletions
--- 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 ;