fixing error in name for monthyear

imandra-ai · Oct 25, 2018 · 2756816 · 2756816
1 parent 103cb42
commit 2756816
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src-core-pp/datetime_json.ml b/src-core-pp/datetime_json.ml
@@ -261,7 +261,7 @@ let monthyear_to_json ( d : fix_monthyear) =
   `Assoc list_assoc
 ;;
 
-let monthyear : fix_monthyear Decoders_yojson.Basic.Decode.decoder = 
+let monthyear_decoder : fix_monthyear Decoders_yojson.Basic.Decode.decoder = 
   (D.field "monthyear_year" D.int) >>= fun monthyear_year -> 
   (D.field "monthyear_month" D.int) >>= fun monthyear_month ->
   D.maybe (D.field "monthyear_day" D.int) >>= fun monthyear_day ->