diff options
| -rw-r--r-- | src/Values.ml | 1 |
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; }] |