mirror of
https://github.com/johnwhitington/cpdf-source.git
synced 2024-12-22 15:05:46 +01:00
Silence no-return warning
This commit is contained in:
parent
ea0e29d802
commit
3671c2d14b
@ -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"
|
||||
|
Loading…
Reference in New Issue
Block a user