]> git.lyx.org Git - features.git/commit
Catch improbable exception
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 12 Jul 2019 22:24:21 +0000 (00:24 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:35 +0000 (15:48 +0200)
commitb1d1c1fa77c7be924e47e41d26b9e37e3d055a8a
treeeabfb724440366341c28948b6895f50a92c7339c
parentb289b1882031a0fbcb6a1d0c702fba88ec85acf4
Catch improbable exception

We know that the exception is correct, but coverity does not.
It would be much better to check that at compile time...
src/support/os.cpp