summaryrefslogtreecommitdiff
path: root/tests/crud.urs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/crud.urs')
-rw-r--r--tests/crud.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/crud.urs b/tests/crud.urs
index 33090421..ffb1d3f1 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -16,7 +16,7 @@ val bool : string -> colMeta (bool, bool)
functor Make(M : sig
con cols :: {(Type * Type)}
constraint [Id] ~ cols
- val tab : sql_table ([Id = int] ++ mapT2T fstTT cols)
+ table tab : ([Id = int] ++ mapT2T fstTT cols)
val title : string