aboutsummaryrefslogtreecommitdiffhomepage
path: root/caching-tests/test.urs
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-10-15 00:52:04 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-10-15 00:52:04 -0400
commitf425194d947691ceeaad9ec73fdc7c2c176ebfe3 (patch)
tree095cd90b01c8471239a8637b06506020b51832ac /caching-tests/test.urs
parentf3ca4cbdd84e1d86f47d1cbabc8ad881e0adfeb2 (diff)
Make SQL caches use more of the pure caching machinery, but it's brittle.
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 e9e09ac8..fc23c47d 100644
--- a/caching-tests/test.urs
+++ b/caching-tests/test.urs
@@ -1,3 +1,4 @@
val cache : int -> transaction page
+val cache2 : int -> int -> transaction page
val flush : int -> transaction page
val flush17 : transaction page