From 9603d3910a5a8427abb9e67f5f0c6d8f79a18d5e Mon Sep 17 00:00:00 2001
From: Jason Turner <jason@emptycrate.com>
Date: Wed, 13 Apr 2016 15:26:36 -0600
Subject: [PATCH] Get multifile compiling

---
 include/chaiscript/dispatchkit/boxed_cast_helper.hpp | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/include/chaiscript/dispatchkit/boxed_cast_helper.hpp b/include/chaiscript/dispatchkit/boxed_cast_helper.hpp
index 36c15f7..5178a73 100644
--- a/include/chaiscript/dispatchkit/boxed_cast_helper.hpp
+++ b/include/chaiscript/dispatchkit/boxed_cast_helper.hpp
@@ -29,7 +29,7 @@ namespace chaiscript
         throw std::runtime_error("Attempted to dereference null Boxed_Value");
       }
 
-    const void *verify_type(const Boxed_Value &ob, const std::type_info &ti, const void *ptr) {
+    static const void *verify_type(const Boxed_Value &ob, const std::type_info &ti, const void *ptr) {
       if (!ob.get_type_info().bare_equal_type_info(ti)) {
         throw chaiscript::detail::exception::bad_any_cast();
       } else {
@@ -37,7 +37,7 @@ namespace chaiscript
       }
     }
 
-    void *verify_type(const Boxed_Value &ob, const std::type_info &ti, void *ptr) {
+    static void *verify_type(const Boxed_Value &ob, const std::type_info &ti, void *ptr) {
       if (ptr == nullptr || !ob.get_type_info().bare_equal_type_info(ti)) {
         throw chaiscript::detail::exception::bad_any_cast();
       } else {
@@ -45,13 +45,6 @@ namespace chaiscript
       }
     }
 
-    /*
-    template<typename Result, typename = enable_if<Result>>
-      Result cast_helper_inner(const Boxed_Value &ob, const Type_Conversions_State *)
-      {
-      }
-*/
-
     /// Generic Cast_Helper_Inner, for casting to any type
     template<typename Result>
       struct Cast_Helper_Inner