o Make lltok an abstract type, a pointer to structure instead of a plain

[splint.git] / src / exprData.c

diff --git a/src/exprData.c b/src/exprData.c
index c7be031063f1531712b06a068c6069ab7b6aedea..2c18d5fca93c63a2f09d40ee236025687ba859bd 100644 (file)
--- a/src/exprData.c
+++ b/src/exprData.c
@@ -460,7 +460,7 @@ void exprData_free (/*@only@*/ exprData data, exprKind kind)
 /*@observer@*/ lltok exprData_getTok (exprData data) /*@*/
 {
   llassert (data != exprData_undefined);
-  return (*data->tok);
+  return data->tok;
 }
 
 /*@exposed@*/ qtype exprData_getType (exprData data) /*@*/ 
@@ -526,9 +526,8 @@ void exprData_free (/*@only@*/ exprData data, exprKind kind)
 /*@only@*/ exprData exprData_makeTok (/*@only@*/ lltok op)
 {
   exprData ed = (exprData) dmalloc (sizeof (*ed));
-  
-  ed->tok = (lltok *) dmalloc (sizeof (*(ed->tok)));
-  *(ed->tok) = op;  
+  ed->tok = op;  
+
   return ed;
 }