From b8560c553f7e0826dc1b0e6d37630579220941a7 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Sat, 28 Oct 2017 20:23:23 -0400
Subject: [PATCH] USe a C++ style case in McTest.hpp

---
 bin/mctest/__main__.py        | 4 ++--
 src/include/mctest/McTest.hpp | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/mctest/__main__.py b/bin/mctest/__main__.py
index 3f65bb8..c8e33cb 100644
--- a/bin/mctest/__main__.py
+++ b/bin/mctest/__main__.py
@@ -30,8 +30,8 @@ class EntryPointPlugin(manticore.core.plugin.Plugin):
   def on_syscall_callback(self, state, index):
     if 0x41414141 == index:
       print 'here!!!!!'
-      state_id = self._executor._workspace.save_state(state)
-      self._executor.put(state_id)
+      state_id = self.manticore._executor._workspace.save_state(state)
+      self.manticore._executor.put(state_id)
       raise manticore.TerminateState("Canceled", testcase=False)
 
 
diff --git a/src/include/mctest/McTest.hpp b/src/include/mctest/McTest.hpp
index c566003..64c88a8 100644
--- a/src/include/mctest/McTest.hpp
+++ b/src/include/mctest/McTest.hpp
@@ -114,7 +114,7 @@ MCTEST_INLINE static bool IsSymbolic(double x) {
 }
 
 MCTEST_INLINE static bool IsSymbolic(void *x) {
-  return IsSymbolic((uintptr_t) x);
+  return IsSymbolic(reinterpret_cast<uintptr_t>(x));
 }
 
 template <typename T>