diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-11-25 02:37:57 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-11-25 02:37:57 +0000 |
| commit | a3aad303bec6f93550b71f8ab5677308b4bbaac5 (patch) | |
| tree | d32c4e5967e81bada1bff8a23dad8b58c485f3ad /otherlibs/win32unix/windbug.h | |
| parent | 6c78f42d365d3e8d385b2d24ad1749a65ac45b8e (diff) | |
do not fail when injectivity not proved in Pattern mode, use mcomp
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/windbug.h')
0 files changed, 0 insertions, 0 deletions