diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-01-02 17:56:04 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-01-10 14:35:04 +0100 |
| commit | 0d1f9ff76aa6df3f17edd2d73c76ab444fec8528 (patch) | |
| tree | e6a628b78a08beb7fd9912c3f4b9bbdcee59c3c4 /dataType.ml | |
| parent | 444c0baa87b6edfb21c002bf9e079e10509ee0e9 (diff) | |
Corrected some issues with odf documents
Diffstat (limited to 'dataType.ml')
| -rwxr-xr-x | dataType.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dataType.ml b/dataType.ml index 3937465..2fcbd0d 100755 --- a/dataType.ml +++ b/dataType.ml @@ -109,6 +109,10 @@ module Num = struct | NAN -> NAN
| N n1 -> N (Num.abs_num n1)
+ let neg = function
+ | NAN -> NAN
+ | N n1 -> N (Num.minus_num n1)
+
end
module Bool = struct
|