+/* --- @gfshare_addedp@ --- *
+ *
+ * Arguments: @gfshare *s@ = pointer to sharing context
+ * @unsigned x@ = which share number to check
+ *
+ * Returns: Nonzero if share @x@ has been added already, zero if it
+ * hasn't.
+ */
+
+int gfshare_addedp(gfshare *s, unsigned x)
+{
+ unsigned i;
+
+ for (i = 0; i < s->i; i++) {
+ if (GFSHARE_INDEX(s, i) == x + 1)
+ return (1);
+ }
+ return (0);
+}
+