From f0cb91b02388972129fa701bb73624f213aa3589 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 13 Oct 2016 22:29:03 +0200
Subject: Integer->number

---
 api-exchange.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'api-exchange.rst')

diff --git a/api-exchange.rst b/api-exchange.rst
index e1439936..9a8eb5ff 100644
--- a/api-exchange.rst
+++ b/api-exchange.rst
@@ -823,7 +823,7 @@ the API during normal operation.
       gamma_tp: EddsaPublicKey;
 
       // Specific `gamma` value chosen by the exchange.
-      gamma: Integer;
+      gamma: number;
 
     }
 
-- 
cgit v1.2.3