From 6cb428c1a23e3db6f537c2878eb7245e666b02cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@ocamlpro.com>
Date: Sat, 11 Nov 2017 03:34:12 +0100
Subject: [PATCH] Utils/Data_encoding: add missing case in `merge_objs`.

---
 src/minutils/data_encoding.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/minutils/data_encoding.ml b/src/minutils/data_encoding.ml
index 5e43e6cf0..a4916ae1c 100644
--- a/src/minutils/data_encoding.ml
+++ b/src/minutils/data_encoding.ml
@@ -551,6 +551,7 @@ module Encoding = struct
       | Obj _ -> true
       | Objs _ (* by construction *) -> true
       | Conv { encoding = e } -> is_obj e
+      | Dynamic_size e  -> is_obj e
       | Union (_,_,cases) ->
           List.for_all (fun (Case { encoding = e }) -> is_obj e) cases
       | Empty -> true
@@ -591,6 +592,7 @@ module Encoding = struct
       | Tup _ -> true
       | Tups _ (* by construction *) -> true
       | Conv { encoding = e } -> is_tup e
+      | Dynamic_size e  -> is_tup e
       | Union (_,_,cases) ->
           List.for_all (function Case { encoding = e} -> is_tup e) cases
       | _ -> false in