From 8df3e2ef51d131f1ed4c41a4788985d871438921 Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 28 Aug 2016 18:59:14 +0300 Subject: [PATCH] Types... --- config.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config.ml b/config.ml index 02600ba..77851ec 100644 --- a/config.ml +++ b/config.ml @@ -387,8 +387,8 @@ type state = ; mutable errmsgs : Buffer.t ; mutable newerrmsgs : bool ; mutable w : int - ; mutable x : int - ; mutable y : int + ; mutable x : x + ; mutable y : y ; mutable anchor : anchor ; mutable ranchors : (string * string * anchor * string) list ; mutable maxy : int -- 2.11.4.GIT