From f35eafb60f11bc8e0c2fe45e1cf416e46cc216ad Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 17 Nov 2017 22:23:01 +0000
Subject: [PATCH] BR ocaml-num

---
 why3.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/why3.spec b/why3.spec
index b620909..571bb3e 100644
--- a/why3.spec
+++ b/why3.spec
@@ -31,6 +31,7 @@ BuildRequires:  ocaml-lablgtk-devel
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ocamlgraph-devel
 BuildRequires:  ocaml-menhir-devel
+BuildRequires:  ocaml-num-devel
 BuildRequires:  ocaml-sqlite-devel
 BuildRequires:  ocaml-zarith-devel
 BuildRequires:  ocaml-zip-devel