Remove IsSymbolic preficate for pointers.

2017-10-28 20:26:43 -04:00
parent b8560c553f
commit 7c9710cd05
1 changed files with 0 additions and 4 deletions
@@ -113,10 +113,6 @@ MCTEST_INLINE static bool IsSymbolic(double x) {
  return McTest_IsSymbolicDouble(x);
 }

-MCTEST_INLINE static bool IsSymbolic(void *x) {
-  return IsSymbolic(reinterpret_cast<uintptr_t>(x));
-}
-
 template <typename T>
 class Symbolic {
 public: