diff options
author | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-01-14 18:06:32 +0000 |
---|---|---|
committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-01-14 18:06:32 +0000 |
commit | 5a21a70dd1a5be9a7de01bf1eeae630395a3dce4 (patch) | |
tree | 22b015be87c4d57f4978cabe7906474b1574db5a /library/declaremods.mli | |
parent | 3e233fb59358b63e7d84e3bda4b0b357e3067d68 (diff) |
Fix uncaught exception
On windows platform, exceptions are not always encoded in utf-8, thus
failing the assert.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12675 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library/declaremods.mli')
0 files changed, 0 insertions, 0 deletions