/*
 * This file is part of the source code of the software program
 * Vampire. It is protected by applicable
 * copyright laws.
 *
 * This source code is distributed under the licence found here
 * https://vprover.github.io/license.html
 * and in the source directory
 */
#include "NumTraits.hpp"
using namespace Kernel;

// Sorry Joe, looks like Doxygen does not enjoy this solution.
#ifndef IN_DOXYGEN
__INSTANTIATE_NUM_TRAITS_ALL
#endif
