From 67d67ecae2fdb8708e6207db04880d89d43ba1cb 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/crud.ur | 1 -
 1 file changed, 1 deletion(-)

(limited to 'demo/crud.ur')

diff --git a/demo/crud.ur b/demo/crud.ur
index baf157e5..72523a9d 100644
--- a/demo/crud.ur
+++ b/demo/crud.ur
@@ -42,7 +42,6 @@ functor Make(M : sig
                  val cols : colsMeta cols
              end) = struct
 
-    open constraints M
     val tab = M.tab
 
     sequence seq
-- 
cgit v1.2.3