diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
commit | a3e471e933945dcfb54873cb20c691a193b55671 (patch) | |
tree | 70ba7ffe26a589f0b97aec7016c171261c54c9e2 /tests/formLimit.urs | |
parent | 5ca6148aaf7b930a8868d0543f1a307d40532243 (diff) | |
parent | 359c1ca68f97181dada92e28440c7336fc88fff5 (diff) |
Merge branch 'upstream' into dfsg_clean20160515+dfsg
Diffstat (limited to 'tests/formLimit.urs')
-rw-r--r-- | tests/formLimit.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/formLimit.urs b/tests/formLimit.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/formLimit.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |