- library fixes:

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

diff --git a/src/Headers/qualList.h b/src/Headers/qualList.h
index 38bab620afa5d2b5d3875d0998f3149b951a023e..3a2c32d5edddca5d85e0dc9ead728ebb4cdef5e1 100644 (file)
--- a/src/Headers/qualList.h
+++ b/src/Headers/qualList.h
@@ -37,6 +37,9 @@ extern bool qualList_isEmpty (/*@sef@*/ qualList p_s);
 # define qualList_isEmpty(s) (qualList_size(s) == 0)
 
 extern qualList qualList_new (void) /*@*/ ;
+
+extern qualList qualList_single (qual p_el) /*@*/ ;
+
 extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el) 
    /*@modifies p_s@*/;