]> andersk Git - splint.git/blobdiff - src/constraintExprData.c
Merged with Dave Evans's changes.
[splint.git] / src / constraintExprData.c
index adc094e6f26b48014bb8572038009e4ecc555ea8..47cf7277fe5497454ebe2b0698850208e1a59ed5 100644 (file)
@@ -11,7 +11,6 @@
 # include "aliasChecks.h"
 # include "exprNodeSList.h"
 
-
 void constraintExprData_freeBinaryExpr (/*@only@*/constraintExprData data)
 {
   constraintExpr_free (data->binaryOp.expr1);
@@ -30,7 +29,7 @@ constraintExprData constraintExprData_copyBinaryExpr(/*@observer@*/ constraintEx
   return ret;
 }
 
- void constraintExprData_freeUnaryExpr (/*@only@*/constraintExprData data)
+void constraintExprData_freeUnaryExpr (/*@only@*/constraintExprData data)
 {
   constraintExpr_free (data->unaryOp.expr);
   free(data);  
This page took 0.033129 seconds and 4 git commands to generate.