From 533c801c103627484af042bf1f976eeffcf592e3 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Fri, 24 May 2019 19:31:03 +0200 Subject: [PATCH] Cosmetics. --- simple-utils/region.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/simple-utils/region.ml b/simple-utils/region.ml index 68712727f..a874fd986 100644 --- a/simple-utils/region.ml +++ b/simple-utils/region.ml @@ -74,7 +74,7 @@ let make ~(start: Pos.t) ~(stop: Pos.t) = (* Conversions to strings *) method to_string ?(file=true) ?(offsets=true) mode = - let horizontal = if offsets then "character" else "column" + let horizontal = if offsets then "character" else "column" and start_offset = if offsets then start#offset mode else start#column mode and stop_offset =