diff options
author | 2010-03-07 18:49:23 +0000 | |
---|---|---|
committer | 2010-03-07 18:49:23 +0000 | |
commit | c14f134c00cef3dbca8c4a66f9847094f3fd119c (patch) | |
tree | 8d30a07075934e758e21115d6b5b941e8c716bda /plugins/firstorder/instances.mli | |
parent | ba360bdefa2d7e4200c94a37c5065019718c2691 (diff) |
Fix treatment of remaining unification constraints: raise a more
informative exception if some constraints do not unify.
All calls except one used to raise a less informative exception when the
constraints weren't solved.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12849 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/firstorder/instances.mli')
0 files changed, 0 insertions, 0 deletions