From 1c2069212a7dec30db45e02391d7ca0154cd5709 Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Sat, 7 Nov 2015 15:16:44 -0500 Subject: Fix some table renaming issues. --- caching-tests/test.urs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'caching-tests/test.urs') diff --git a/caching-tests/test.urs b/caching-tests/test.urs index fc23c47d..ebe6bf56 100644 --- a/caching-tests/test.urs +++ b/caching-tests/test.urs @@ -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 *) -- cgit v1.2.3