From bef4dd04f19c2001561e9e889116f5a2f8905bc0 Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Fri, 27 Mar 2015 11:19:15 -0400 Subject: Simplify example. --- caching-tests/test.urs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'caching-tests/test.urs') diff --git a/caching-tests/test.urs b/caching-tests/test.urs index 30bff733..6d4cedf2 100644 --- a/caching-tests/test.urs +++ b/caching-tests/test.urs @@ -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 -- cgit v1.2.3