diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-19 15:05:04 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-19 15:05:04 +0000 |
| commit | 4dfadd24a108490a20ea2af9deb42f58ed4478be (patch) | |
| tree | d8b35bb9abc2d21050e415b69c112b6da6fe6705 /lib/gmap.mli | |
| parent | 1c25f8bc8d926e85667d321555775200ddfd17d2 (diff) | |
Serialize.to_answer: dynamically check that answer & call correspond
Without this, it was probably possible to crash Coqide by forging
inadequate answers to a call.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15983 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/gmap.mli')
0 files changed, 0 insertions, 0 deletions