This commit is contained in:
Andreas Fabri 2022-10-27 10:44:15 +01:00
parent 1ba311a602
commit 811e9530d6
1 changed files with 0 additions and 10 deletions

View File

@ -54,16 +54,6 @@ public:
};
#if 0
template <>
struct Get_arithmetic_kernel<CORE::BigInt>{
typedef CORE_arithmetic_kernel Arithmetic_kernel;
};
template <>
struct Get_arithmetic_kernel<CORE::BigRat>{
typedef CORE_arithmetic_kernel Arithmetic_kernel;
};
#endif
template <>
struct Get_arithmetic_kernel<CORE::Expr>{