From 3671c2d14bbc5223f482079dd88ff4668cd8b78d Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 16 Apr 2024 07:49:11 +0800 Subject: [PATCH] Silence no-return warning --- cpdfjpeg2000.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpdfjpeg2000.ml b/cpdfjpeg2000.ml index ac058ed..a2e98ed 100644 --- a/cpdfjpeg2000.ml +++ b/cpdfjpeg2000.ml @@ -35,6 +35,6 @@ let jpeg2000_dimensions_inner bs = done let jpeg2000_dimensions bs = - try jpeg2000_dimensions_inner bs; (0, 0) with + try ignore (jpeg2000_dimensions_inner bs); (0, 0) with | Answer (w, h) -> (w, h) | Exit -> error "could not determine JPEG2000 dimensions"