From 0f7b6944108ad94e899c41033eef15917ed1065c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Jun 2009 11:50:53 -0400
Subject: Do 'open constraints' automatically; fix sourceless <cselect> monoize
 bug; Monad library module

---
 demo/batchFun.ur | 1 -
 1 file changed, 1 deletion(-)

(limited to 'demo/batchFun.ur')

diff --git a/demo/batchFun.ur b/demo/batchFun.ur
index 4243970a..560c0c55 100644
--- a/demo/batchFun.ur
+++ b/demo/batchFun.ur
@@ -34,7 +34,6 @@ functor Make(M : sig
                  val cols : colsMeta cols
              end) = struct
 
-    open constraints M
     val t = M.tab
 
     datatype list t = Nil | Cons of t * list t
-- 
cgit v1.2.3