summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/Values.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml
index 804d7580..7c7f6d1a 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -110,6 +110,7 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = {
variety = "iter";
ancestors = [ "iter_'r_ty_base" ];
polymorphic = true;
+ (* Heirs expect a polymorphic class *)
concrete = true;
}]