diff options
author | Ziv Scully <ziv@mit.edu> | 2015-03-27 11:19:15 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-03-27 11:19:15 -0400 |
commit | bef4dd04f19c2001561e9e889116f5a2f8905bc0 (patch) | |
tree | da0a10b1007e9dde8100a99db026793b725ad547 /caching-tests/test.urs | |
parent | 7a2739b18042953cdfc608a5d9c96237c97cebba (diff) |
Simplify example.
Diffstat (limited to 'caching-tests/test.urs')
-rw-r--r-- | caching-tests/test.urs | 6 |
1 files changed, 0 insertions, 6 deletions
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 |