]> 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>
Fri, 12 Jul 2019 22:24:21 +0000 (00:24 +0200)
commit5e33e4fc2c02f92dec8918ade9d1e191d1d697b3
treeabc827ce81d5519e3d842e37e3722185360ff1be
parentca217fbfaa0de63f9ece0278251ca2239ee7fb52
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