From 72b7789162a15b204dfc281774b9a60bc7886f29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Thu, 22 Mar 2018 17:36:45 +0100
Subject: [PATCH] Alpha: reduce tips for inclusion of seed revelations

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

diff --git a/src/proto_alpha/lib_protocol/src/constants_repr.ml b/src/proto_alpha/lib_protocol/src/constants_repr.ml
index 733cb9814..36b17a4c2 100644
--- a/src/proto_alpha/lib_protocol/src/constants_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/constants_repr.ml
@@ -12,9 +12,11 @@ let version_number = "\000"
 let proof_of_work_nonce_size = 8
 let nonce_length = 32
 
-(* 10 tez *)
+(* 1/8 tez *)
 let seed_nonce_revelation_tip =
-  Tez_repr.(mul_exn one 10)
+  match Tez_repr.(one /? 8L) with
+  | Ok c -> c
+  | Error _ -> assert false
 
 (* 1 tez *)
 let origination_burn =