summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Values.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml
index 2cc12067..b9835ba1 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -108,8 +108,9 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = {
{
name = "iter_g_typed_value";
variety = "iter";
- polymorphic = true;
ancestors = [ "iter_'r_ty_base" ];
+ polymorphic = true;
+ concrete = true;
}]
class virtual ['self] iter_typed_value_base =