From: jjenista <jjenista>
Date: Mon, 25 Oct 2010 23:14:09 +0000 (+0000)
Subject: this is a BUG, don't dereference the object pointer, blargh
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=43945fd3bbb2142a24969c48a46a3bda6d4a9f18;p=IRC.git

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 04928a29..520a7d21 100644
--- 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]