From b0be5b630d73a23e1cc1d8d60325124e87affea9 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Thu, 24 May 2018 00:31:32 +0200 Subject: [PATCH] Data_encoding: Ignore is actually a `Fixed 0 --- src/lib_data_encoding/encoding.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib_data_encoding/encoding.ml b/src/lib_data_encoding/encoding.ml index aac2bf7b7..388395b60 100644 --- a/src/lib_data_encoding/encoding.ml +++ b/src/lib_data_encoding/encoding.ml @@ -159,7 +159,7 @@ let rec classify : type a. a t -> Kind.t = fun e -> | Union (kind, _, _) -> (kind :> Kind.t) | Mu (kind, _, _) -> (kind :> Kind.t) (* Variable *) - | Ignore -> `Variable + | Ignore -> `Fixed 0 | Array _ -> `Variable | List _ -> `Variable (* Recursive *)