Fixed anytype resolution.

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

diff --git a/src/Headers/globSet.h b/src/Headers/globSet.h
index 21d2d3347fe5b219a8a1f2e1c7748f628f0d39ba..26febb26ad41ba6add1703b47260419c8609128e 100644 (file)
--- a/src/Headers/globSet.h
+++ b/src/Headers/globSet.h
@@ -35,6 +35,10 @@ extern /*@only@*/ cstring globSet_unparse (globSet p_ll) /*@*/ ;
 extern /*@only@*/ cstring globSet_dump (globSet) /*@*/ ;
 extern /*@only@*/ globSet globSet_undump (char **p_s) /*@modifies *p_s@*/ ;
 
+extern /*@only@*/ globSet globSet_unionFree (/*@only@*/ /*@returned@*/ globSet p_g1, /*@only@*/ globSet p_g2) /*@modifies p_g1@*/ ;
+# define globSet_unionFree(g1,g2) sRefSet_unionFree(g1,g2)
+
+     
 extern void globSet_markImmutable (globSet p_g) /*@modifies p_g@*/ ;
 
 extern globSet