From 02e3a75b12e9f2dc7077d2cd2a8903db2bff92b4 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 19 Jul 2015 19:12:50 -0700
Subject: Add parameterless query to caching test.

---
 caching-tests/test.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'caching-tests/test.urs')

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
-- 
cgit v1.2.3