]> andersk Git - splint.git/blobdiff - src/exprData.c
noexpand always false.
[splint.git] / src / exprData.c
index 13e2fc8a43530bc873da60840d049a30dbd49a66..b16be355337d7dbd7eaa19f72ed3c9027bbd32c1 100644 (file)
@@ -301,7 +301,7 @@ void exprData_free (/*@only@*/ exprData data, exprKind kind)
 
 /*@observer@*/ lltok exprData_getOpTok (exprData data) /*@*/
 {
-  llassertretval (data != exprData_undefined, exprNode_undefined);
+  llassert (data != exprData_undefined);
   return (data->op->op);
 }
 
This page took 0.040482 seconds and 4 git commands to generate.