diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-01 20:03:30 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-01 20:03:30 -0500 |
| commit | 0ab11630f989c8883b58f26645f7b569d22da1ac (patch) | |
| tree | efccd80cf23ff26b26d80fb99a9f7f77bc3f772e /src/util | |
| parent | a747f01c1ee737bb8c4c1cc8ce355b79078d03d7 (diff) | |
adds partial function substr. the use of this function should be guarded, especially for disequalities
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions