diff options
| author | gareuselesinge | 2013-08-09 08:58:29 +0000 |
|---|---|---|
| committer | gareuselesinge | 2013-08-09 08:58:29 +0000 |
| commit | ed18331f31fe2da5215a2548527e2b877f0b722f (patch) | |
| tree | 61b7e6cd2366072434abe7d6e20442ab99b86dee /checker/validate.ml | |
| parent | 6410e8c242d50eb0571d0e6feea4526979c8b0b2 (diff) | |
fix batch compilation of scripts containing Admitted
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16689 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/validate.ml')
0 files changed, 0 insertions, 0 deletions