From f5da23258a8e10a5226c0747c1e2fbae92650cae Mon Sep 17 00:00:00 2001 From: Andrew Wu Date: Thu, 22 Aug 2024 15:28:59 -0400 Subject: [PATCH] test cd hasmap --- src/common/tests/Test_CDHashMap.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/common/tests/Test_CDHashMap.h b/src/common/tests/Test_CDHashMap.h index ee0de7f71..6ed0628db 100644 --- a/src/common/tests/Test_CDHashMap.h +++ b/src/common/tests/Test_CDHashMap.h @@ -1,8 +1,8 @@ /********************* */ -/*! \file Test_HashMap.h +/*! \file Test_CDHashMap.h ** \verbatim ** Top contributors (to current version): - ** Guy Katz + ** Andrew Wu, Guy Katz ** This file is part of the Marabou project. ** Copyright (c) 2017-2024 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations.