From 0d1f9ff76aa6df3f17edd2d73c76ab444fec8528 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 2 Jan 2017 17:56:04 +0100
Subject: Corrected some issues with odf documents

---
 dataType.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dataType.mli')

diff --git a/dataType.mli b/dataType.mli
index 09b0082..901346c 100755
--- a/dataType.mli
+++ b/dataType.mli
@@ -17,6 +17,8 @@ module Num: sig
 
   val to_num: t -> Num.num
 
+  val neg: t -> t
+
   val eq: t -> t -> bool
   val neq: t -> t -> bool
   val lt: t -> t -> bool
-- 
cgit v1.2.3