diff options
| author | Shaked Flur | 2015-05-19 16:30:42 +0100 |
|---|---|---|
| committer | Shaked Flur | 2015-05-19 16:30:42 +0100 |
| commit | a7de95f222940cbc3f341cb281932d55248325d3 (patch) | |
| tree | 47d3129db84f5f4aacb17b1a47590471a3c5f06a /src/lem_interp/interp_lib.lem | |
| parent | 2e69c321a035d6ae7dfd995cb0efb3e210dc4512 (diff) | |
avoid the use of Str.regexp as it breaks js_of_ocaml
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions