diff options
| author | Gaëtan Gilbert | 2020-02-06 17:06:18 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | b1d6846e31cd43b850feb30fe15acb9d27fb96e4 (patch) | |
| tree | 60cd921237663f375ec2f167ccf39109d5a3f6f5 /plugins/syntax/plugin_base.dune | |
| parent | 1c1eed73491ea84ee58eec703fbeedf9667a06ef (diff) | |
unsafe_type_of -> (get_)type_of in Equality.{discrEq,minimal_free_rels_rec,sig_clausal_form}
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions