Record.h: Fixed wrapped record concept

1 files changed, 3 insertions, 3 deletions

diff --git a/include/framework/interface/Record.h b/include/framework/interface/Record.h
index 39880bd..d380f9b 100644
--- a/include/framework/interface/Record.h
+++ b/include/framework/interface/Record.h
@@ -47,17 +47,17 @@ concept AlexInterface = KVPInterface<R> && requires(R r) {
 };
 
 template<typename R>
-concept WrappedInterface = RecordInterface<R> && requires(R r, R s, bool b) {
+concept WrappedInterface = RecordInterface<R> && requires(R r, R s, bool b, int i) {
     {r.header} -> std::convertible_to<uint32_t>;
      r.rec;
     {r.set_delete()};
     {r.is_deleted()} -> std::convertible_to<bool>;
     {r.set_tombstone(b)};
     {r.is_tombstone()} -> std::convertible_to<bool>;
-    {r.set_timestamp()};
+    {r.set_timestamp(i)};
     {r.get_timestamp()} -> std::convertible_to<uint32_t>;
     {r.clear_timestamp()};
-    {r.is_deleted()} -> std::convertible_to<bool>;
+    {r.is_visible()} -> std::convertible_to<bool>;
     {r.set_visible()};
     {r < s} -> std::convertible_to<bool>;
     {r == s} ->std::convertible_to<bool>;