diff caching-tests/test.urs @ 2242:200a7ed4343b

Add parameterless query to caching test.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:12:50 -0700
parents 6262dabc08d6
children f7bc7c11a656
line wrap: on
line diff
--- a/caching-tests/test.urs	Sun Jul 19 19:05:16 2015 -0700
+++ b/caching-tests/test.urs	Sun Jul 19 19:12:50 2015 -0700
@@ -1,2 +1,3 @@
 val cache : int -> transaction page
 val flush : int -> transaction page
+val flush17 : transaction page