aboutsummaryrefslogtreecommitdiffhomepage
path: root/caching-tests/test.urs
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-07-19 19:12:50 -0700
committerGravatar Ziv Scully <ziv@mit.edu>2015-07-19 19:12:50 -0700
commit02e3a75b12e9f2dc7077d2cd2a8903db2bff92b4 (patch)
tree2637c1ca99e045f7bd68c1b1643f5e71692e1721 /caching-tests/test.urs
parenta197d648e075a696f5ca86b23913b668f2baf940 (diff)
Add parameterless query to caching test.
Diffstat (limited to 'caching-tests/test.urs')
-rw-r--r--caching-tests/test.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/caching-tests/test.urs b/caching-tests/test.urs
index 6d4cedf2..e9e09ac8 100644
--- a/caching-tests/test.urs
+++ b/caching-tests/test.urs
@@ -1,2 +1,3 @@
val cache : int -> transaction page
val flush : int -> transaction page
+val flush17 : transaction page