From 2ff197c670d5307046ce99ce623055e7b53f8c79 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Mon, 19 Feb 2018 23:14:09 +0100
Subject: [PATCH] Add function _size

---
 m-genint.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/m-genint.h b/m-genint.h
index be3bc4a4..aa87e867 100644
--- a/m-genint.h
+++ b/m-genint.h
@@ -107,6 +107,12 @@ static inline void genint_clear(genint_t s)
   s->data = NULL;
 }
 
+static inline size_t genint_size(genint_t s)
+{
+  GENINT_CONTRACT(s);
+  return s->n;
+}
+
 // Typical case: one CAS per pop.
 static inline size_t genint_pop(genint_t s)
 {