From a622c76bbd5d68f737852e627861a7c7f642e287 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 2 May 2023 16:09:10 +0100 Subject: [PATCH] more --- cpdfcoord.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/cpdfcoord.ml b/cpdfcoord.ml index 19c6845..c69f41d 100644 --- a/cpdfcoord.ml +++ b/cpdfcoord.ml @@ -3,8 +3,7 @@ open Pdfutil let emptypage = Pdfpage.blankpage Pdfpaper.a4 let error s = - Pdfe.log (s ^ "\nUse -help for help.\n"); - exit 2 + raise (Pdf.PDFError s) (* Unit conversions to points. *) let mm x = ((x /. 10.) /. 2.54) *. 72.