From 4994582619625c3a1ab6b493e745c28524091eb1 Mon Sep 17 00:00:00 2001
From: Thomas Applencourt <TApplencourt@users.noreply.github.com>
Date: Mon, 31 Oct 2016 16:09:52 -0500
Subject: [PATCH] Update README.md

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index bb63b691..eacecaf7 100644
--- a/README.md
+++ b/README.md
@@ -137,6 +137,10 @@ interface: ezfio
 
 #FAQ
 
+### Opam error: cryptokit
+
+You need to install `gmp-dev`.
+
 ### Error: ezfio_* is already defined.
 
 #### Why ?