From 4af415cecdb00179f0dfc22869c918fc9004ae32 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Mar 2014 13:20:44 +0100 Subject: [PATCH] removed useless "rec" --- conv.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conv.ml b/conv.ml index ab72de05..b0a38d68 100644 --- a/conv.ml +++ b/conv.ml @@ -564,7 +564,7 @@ module Point = struct yield_record {x;y;color;prev} )) - let rec source = + let source = Source.(record_fix (fun self -> field "x" (fun p -> p.x) int_ @@