From 1bbc4497642ab6c43a7b1425d012a97370a4cb87 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 3 Dec 2021 17:14:59 +0100
Subject: Make minor modifications

---
 src/Values.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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 =
-- 
cgit v1.2.3