diff options
author | 2014-05-07 15:09:58 +0200 | |
---|---|---|
committer | 2014-05-08 20:31:56 +0200 | |
commit | 8bbd7ceb554f68f0473f492f45e0f909af15992b (patch) | |
tree | 9de035a792b36252a918b169711b5ccf0470b261 /checker/typeops.mli | |
parent | d4a81ee817a1a4dbf23d3777be3dff29b96c89db (diff) |
Little reorganization of generalize tactics code w/o semantic changes.
Also removing trailing spaces.
Diffstat (limited to 'checker/typeops.mli')
0 files changed, 0 insertions, 0 deletions