diff options
author | 2017-11-26 04:30:07 +0100 | |
---|---|---|
committer | 2017-11-26 04:33:51 +0100 | |
commit | 3cc45d57f6001d8c377825b9b940bc51fb3a96f7 (patch) | |
tree | ffd95829dd19c019811e82f6c849213920849ff3 /plugins/micromega/g_micromega.ml4 | |
parent | c1e670b386f83ed78104a6eb6e4d17cc1d906439 (diff) |
[api] Remove aliases of `Evar.t`
There don't really bring anything, we also correct some minor nits
with the printing function.
Diffstat (limited to 'plugins/micromega/g_micromega.ml4')
0 files changed, 0 insertions, 0 deletions