From 52b91ac371e0b96b31b2f305e426dbe75ccaaf13 Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Sat, 12 Oct 2013 17:09:41 +0000
Subject: [PATCH] Fixed TBB exception handling, for real this time I think.

---
 gtsam/base/types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtsam/base/types.h b/gtsam/base/types.h
index 59b8238d2..91614b4f3 100644
--- a/gtsam/base/types.h
+++ b/gtsam/base/types.h
@@ -200,7 +200,7 @@ namespace gtsam {
     }
 
     virtual void throw_self() {
-      throw *this; }
+      throw *static_cast<DERIVED*>(this); }
 
     virtual const char* name() const throw() {
       return typeid(DERIVED).name(); }