diff options
| author | Gaëtan Gilbert | 2020-02-06 14:30:45 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | e566f2591b08f5575ba46815182dfdba29cde4fb (patch) | |
| tree | 50c7f10b5f6236c58f788f2fdf217b7350f4162b /plugins/syntax/string_notation_plugin.mlpack | |
| parent | 5112af4fd5df24b7272e69affcbb88edf1474b82 (diff) | |
unsafe_type_of -> type_of in Tacred.pattern_occs
This function already returns the evar map so no problem.
Diffstat (limited to 'plugins/syntax/string_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions