From 7c9710cd05298367141a2763ee6c0689f37f471c Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Sat, 28 Oct 2017 20:26:43 -0400
Subject: [PATCH] Remove IsSymbolic preficate for pointers.

---
 src/include/mctest/McTest.hpp | 4 ----
 1 file changed, 4 deletions(-)

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: