From 87b6331da72b439faadb152216e060eed6d97bd9 Mon Sep 17 00:00:00 2001
From: Chuyue Sun <chuyue99@gmail.com>
Date: Thu, 18 Jul 2024 23:31:56 +0000
Subject: [PATCH] add copyright

---
 src/util/hashtable.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/hashtable.h b/src/util/hashtable.h
index f550ee917..acbe2a818 100644
--- a/src/util/hashtable.h
+++ b/src/util/hashtable.h
@@ -12,6 +12,7 @@ Abstract:
 Author:
 
     Leonardo de Moura (leonardo) 2006-09-11.
+    Chuyue Sun (liviasun) 2024-07-18.
 
 Revision History: