this is a BUG, don't dereference the object pointer, blargh

diff --git a/Robust/src/Runtime/mlp_runtime.h b/Robust/src/Runtime/mlp_runtime.h
index 04928a293ae95d841965cdcbad0be599960df0a3..520a7d21fc8e230db0e4b0bc24a4ff8116c1c74d 100644 (file)
--- a/Robust/src/Runtime/mlp_runtime.h
+++ b/Robust/src/Runtime/mlp_runtime.h
@@ -53,8 +53,8 @@
 // these are useful for interpreting an INTPTR to an
 // Object at runtime to retrieve the object's type
 // or object id (OID), 64-bit safe
-#define OBJPTRPTR_2_OBJTYPE( opp ) ((int*)(*(opp)))[0]
-#define OBJPTRPTR_2_OBJOID(  opp ) ((int*)(*(opp)))[1]
+#define OBJPTRPTR_2_OBJTYPE( opp ) ((int*)(opp))[0]
+#define OBJPTRPTR_2_OBJOID(  opp ) ((int*)(opp))[1]