Turning Sys_error into error by default instead of anomaly. After all, they are in general internal Coq error. If a Coq code needs to catch a Sys_error for some purpose, it can still do it.
Turning Sys_error into error by default instead of anomaly. After all,
they are in general internal Coq error. If a Coq code needs to catch a
Sys_error for some purpose, it can still do it.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@14122 85f007b7-540e-0410-9357-904b9bb8a0f7

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq