aboutsummaryrefslogtreecommitdiff
path: root/date.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-25 14:50:32 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-31 16:02:40 +0100
commit01d7f77f65c3a2b83978b1f00c87b54f00647816 (patch)
tree32a83b8c529b0bc10917520918a49774ed32be9a /date.ml
parent85231845871c841089308c9bc92569d36cb548db (diff)
Update sheet traversal
Diffstat (limited to 'date.ml')
-rw-r--r--date.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/date.ml b/date.ml
index 9b24afe..4869f38 100644
--- a/date.ml
+++ b/date.ml
@@ -24,7 +24,7 @@ let get_julian_day year month day = begin
end
-let date_from_julian_day day = begin
+let date_from_julian_day (day:Num.num) = begin
let shift_day = Num.floor_num day
|> Num.add_num (Num.num_of_int 2415019) in