From 5fde9141c24d18a34d0c28a561f2664c91f5c295 Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Nov 18 2017 11:54:23 +0000
Subject: Add BR on ocaml-num


---

diff --git a/frama-c.spec b/frama-c.spec
index 8245135..20bc77f 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -53,6 +53,7 @@ BuildRequires:  ocaml-findlib-devel
 BuildRequires:  ocaml-lablgtk-devel
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ocamlgraph-devel
+BuildRequires:  ocaml-num-devel
 BuildRequires:  ocaml-zarith-devel
 BuildRequires:  why3
 BuildRequires:  z3