diff options
| author | Hugo Herbelin | 2015-01-04 13:02:44 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-04 13:05:50 +0100 |
| commit | b0fceb96d0aaa2db6e774c629503be459017608e (patch) | |
| tree | f3393c4ea8b04648d63e1d5d42aae3d7da38181f /plugins/syntax/string_syntax.ml | |
| parent | 3cd718c8f7b48bae776b62ffafa1aa7e18218ed4 (diff) | |
Adapting two files from test-suite to now forbidden Require's in modules.
Status of 335 and 3363 which are explicitly testing Require in modules
still to be addressed (to remove from test suite?).
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions