diff options
| author | Gaëtan Gilbert | 2020-02-06 15:46:15 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | dd4c9f7218f3d4fd883c0ae73cd41cd12049e86e (patch) | |
| tree | da24323dfb9be088ec450b4d5e19f69d3df43bc1 /plugins/syntax/float_syntax_plugin.mlpack | |
| parent | 3faf22b382379f08d5a918bd535287f57e2fc0fc (diff) | |
unsafe_type_of -> type_of in Tactics.abstract_args
Diffstat (limited to 'plugins/syntax/float_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions