diff --git a/src/include/mctest/McTest.hpp b/src/include/mctest/McTest.hpp
index 64c88a8..e697a4f 100644
--- a/src/include/mctest/McTest.hpp
+++ b/src/include/mctest/McTest.hpp
@@ -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: