summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2021-12-03 17:14:59 +0100
committerSon Ho2021-12-03 17:14:59 +0100
commit1bbc4497642ab6c43a7b1425d012a97370a4cb87 (patch)
tree1afc61db42a03572db38dab8f39448d114408c89
parent2a2190f6a47f2a28902941b09a9bdc02e52bbcd1 (diff)
Make minor modifications
-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 =