From 425bf925e001392e58c211afb34f29976fbba552 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 21 Jan 2013 08:20:35 +0400 Subject: [PATCH] Cosmetics --- main.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 2e75f6f..da35c54 100644 --- a/main.ml +++ b/main.ml @@ -90,7 +90,8 @@ external drawstr : int -> int -> int -> string -> float = "ml_draw_string";; external measurestr : int -> string -> float = "ml_measure_string";; external getmaxw : unit -> float = "ml_getmaxw";; external postprocess : - opaque -> int -> int -> int -> (int * string * int) -> int = "ml_postprocess";; + opaque -> int -> int -> int -> (int * string * int) -> int + = "ml_postprocess";; external pagebbox : opaque -> (int * int * int * int) = "ml_getpagebox";; external platform : unit -> platform = "ml_platform";; external setaalevel : int -> unit = "ml_setaalevel";; -- 2.11.4.GIT