Fixed line numbering when multi-line macro parameters are used.

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

diff --git a/src/Headers/flagMarkerList.h b/src/Headers/flagMarkerList.h
index cbd54321590cedcdc80b54d3bf22b1b9cff09774..86665de0f3e6642606aca2461b05ec5128ad6d7d 100644 (file)
--- a/src/Headers/flagMarkerList.h
+++ b/src/Headers/flagMarkerList.h
@@ -25,8 +25,8 @@ extern /*@unused@*/ /*@only@*/ cstring
   flagMarkerList_unparse (flagMarkerList p_s) /*@*/ ;
 extern void flagMarkerList_free (/*@only@*/ flagMarkerList p_s) ;
 
-extern void flagMarkerList_add (flagMarkerList p_s, /*@only@*/ flagMarker p_fm)
-               /*@modifies p_s@*/ ;
+extern bool flagMarkerList_add (flagMarkerList p_s, /*@only@*/ flagMarker p_fm)
+     /*@modifies p_s@*/ ;
 
 extern ynm 
   flagMarkerList_suppressError (flagMarkerList p_s, flagcode p_code, fileloc p_loc) /*@*/ ;