** Top contributors (to current version):
** Morgan Deters, Andres Noetzli, Mathias Preiner
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
#ifndef CVC4__HASH_H
#define CVC4__HASH_H
-#include <cstdint>
#include <functional>
#include <string>
}/* std namespace */
-namespace CVC4 {
+namespace cvc5 {
namespace fnv1a {
}
};/* struct PairHashFunction */
-}/* CVC4 namespace */
+} // namespace cvc5
#endif /* CVC4__HASH_H */