diff caching-tests/test.urs @ 2275:ce96e166d938

Fix some table renaming issues.
author Ziv Scully <ziv@mit.edu>
date Sat, 07 Nov 2015 15:16:44 -0500
parents f7bc7c11a656
children c05f9a5e0f0f
line wrap: on
line diff
--- a/caching-tests/test.urs	Thu Nov 05 01:48:42 2015 -0500
+++ b/caching-tests/test.urs	Sat Nov 07 15:16:44 2015 -0500
@@ -1,4 +1,6 @@
 val cache : int -> transaction page
-val cache2 : int -> int -> transaction page
+(* val cache2 : int -> int -> transaction page *)
 val flush : int -> transaction page
-val flush17 : transaction page
+val flash : int -> transaction page
+val floosh : int -> transaction page
+(* val flush17 : transaction page *)