diff caching-tests/test.urs @ 2225:6262dabc08d6

Simplify example.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:19:15 -0400
parents 278e10629ba1
children 200a7ed4343b
line wrap: on
line diff
--- a/caching-tests/test.urs	Thu Dec 11 02:05:41 2014 -0500
+++ b/caching-tests/test.urs	Fri Mar 27 11:19:15 2015 -0400
@@ -1,8 +1,2 @@
-val cache01 : unit -> transaction page
-(* val cache10 : unit -> transaction page *)
-(* val cache11 : unit -> transaction page *)
-val flush01 : unit -> transaction page
-(* val flush10 : unit -> transaction page *)
-(* val flush11 : unit -> transaction page *)
 val cache : int -> transaction page
 val flush : int -> transaction page