diff options
| author | Thierry Vignaud <thierry.vignaud@gmail.com> | 2016-10-11 14:56:10 +0200 |
|---|---|---|
| committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2016-10-11 14:57:01 +0200 |
| commit | 318535d2ac3f3e26deb67332790ebe5a9484adb0 (patch) | |
| tree | 0b52d1095e82cc58f04e35b9a63b526e7741a1cb /src/global_checks.ml | |
| parent | e6e9a37269f5d7a6b856d81e9ecf0266d2035ed7 (diff) | |
| download | perl_checker-318535d2ac3f3e26deb67332790ebe5a9484adb0.tar perl_checker-318535d2ac3f3e26deb67332790ebe5a9484adb0.tar.gz perl_checker-318535d2ac3f3e26deb67332790ebe5a9484adb0.tar.bz2 perl_checker-318535d2ac3f3e26deb67332790ebe5a9484adb0.tar.xz perl_checker-318535d2ac3f3e26deb67332790ebe5a9484adb0.zip | |
no need to protect length() anymore
Diffstat (limited to 'src/global_checks.ml')
0 files changed, 0 insertions, 0 deletions