From a8bf21d5340780da7bc763b90001055aa397b2c1 Mon Sep 17 00:00:00 2001
From: Javad Saberlatibari
 <76922325+javadsaberlatibari@users.noreply.github.com>
Date: Thu, 14 Mar 2024 21:13:28 -0700
Subject: [PATCH] Add files via upload

---
 wellcoordination/benchmark/pnset-crdt.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wellcoordination/benchmark/pnset-crdt.hpp b/wellcoordination/benchmark/pnset-crdt.hpp
index e7b5c2d..4d25bbd 100644
--- a/wellcoordination/benchmark/pnset-crdt.hpp
+++ b/wellcoordination/benchmark/pnset-crdt.hpp
@@ -49,8 +49,8 @@ class PNSet : public ReplicatedObject
     PNSet(PNSet &obj) : ReplicatedObject(obj)
     {
       //state
-      pnsetsource= obj.pnsetsource;
-      pnsetremote= obj.pnsetremote;
+      std::memcpy(pnsetsource, obj.pnsetsource, sizeof(pnsetsource));
+      std::memcpy(pnsetremote, obj.pnsetremote, sizeof(pnsetremote));
       arraysizesource= obj.arraysizesource;
       arraysizeremote= obj.arraysizeremote;
       setsizesource=obj.setsizesource;