From 2e96a1377eb96db4a90f1d76c5abccf1ddfdb758 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Tue, 28 Feb 2017 14:55:25 +0100 Subject: [PATCH] Genesis: unused error. --- src/proto/genesis/data.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/proto/genesis/data.ml b/src/proto/genesis/data.ml index 14efcb482..78d7c9a77 100644 --- a/src/proto/genesis/data.ml +++ b/src/proto/genesis/data.ml @@ -93,9 +93,7 @@ end module Init = struct - type error += - | Incompatible_protocol_version - | Decreasing_fitness + type error += Incompatible_protocol_version let version_key = ["version"]