From f9cb706ceef4e1e344a40e21da01ca9539e634bf Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 3 Dec 2021 17:57:35 +0100
Subject: Add a comment

---
 src/Values.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Values.ml')

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;
       }]
 
-- 
cgit v1.2.3