summaryrefslogtreecommitdiff
path: root/demo/crud.ur
diff options
context:
space:
mode:
Diffstat (limited to 'demo/crud.ur')
-rw-r--r--demo/crud.ur1
1 files changed, 0 insertions, 1 deletions
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