Changes to fix malloc size problem.

[splint.git] / src / Headers / constraintExpr.h

diff --git a/src/Headers/constraintExpr.h b/src/Headers/constraintExpr.h
index 34def74d7da12d85754f73d5e871c2bc0638c10c..a3d262f105658fcfc69d9adee7a0f5304aee25c6 100644 (file)
--- a/src/Headers/constraintExpr.h
+++ b/src/Headers/constraintExpr.h
@@ -7,8 +7,7 @@ typedef enum
   binaryexpr,
   unaryExpr,
   term
-}
-constraintExprKind;
+} constraintExprKind;
 
 struct s_constraintExpr {
   constraintExprKind kind;
@@ -70,7 +69,7 @@ int constraintExpr_compare (constraintExpr p_expr1, constraintExpr p_expr2) /*@*
 
 bool constraintExpr_search (/*@observer@*/ /*@temp@*/ constraintExpr p_c, /*@observer@*/ /*@temp@*/ constraintExpr p_old);
 
-/*@only@*/ fileloc constraintExpr_getFileloc (constraintExpr p_expr);
+/*@only@*/ fileloc constraintExpr_loc (constraintExpr p_expr);
 
 
 /*@only@*/ constraintExpr constraintExpr_makeSRefMaxset ( /*@temp@*/ /*@observer@*/ sRef p_s);