From da7b52ba28367cf2b31476e77e1a26e53e4765e4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 23 Oct 2008 17:35:10 -0400
Subject: Fix bug with bringing functor argument instances into scope; Ref
 demo, minus prose

---
 demo/prose | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index 4fb07673..05bafd11 100644
--- a/demo/prose
+++ b/demo/prose
@@ -108,3 +108,5 @@ tcSum.urp
 metaform1.urp
 
 metaform2.urp
+
+ref.urp
-- 
cgit v1.2.3