From 213bedaf58defd43e65689e7f144c2ae49dfd50c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <greg@hnr.gr>
Date: Fri, 20 Jul 2018 04:31:17 +0200
Subject: [PATCH] Alpha: fix up compatibility for encoding of michelson
 primitives

---
 src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
index 2baf69e37..29c2db441 100644
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
@@ -510,7 +510,6 @@ let prim_encoding =
     ("SOURCE", I_SOURCE) ;
     ("SENDER", I_SENDER) ;
     ("SELF", I_SELF) ;
-    ("SLICE", I_SLICE) ;
     ("STEPS_TO_QUOTA", I_STEPS_TO_QUOTA) ;
     ("SUB", I_SUB) ;
     ("SWAP", I_SWAP) ;
@@ -547,7 +546,10 @@ let prim_encoding =
     ("timestamp", T_timestamp) ;
     ("unit", T_unit) ;
     ("operation", T_operation) ;
-    ("address", T_address) ]
+    ("address", T_address) ;
+    (* Alpha_002 addition *)
+    ("SLICE", I_SLICE) ;
+  ]
 
 let () =
   register_error_kind