diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-06 18:42:52 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-06 18:55:25 +0200 |
commit | 977e91d0aa5cfece962fc82e3fd42402918663c8 (patch) | |
tree | 756a4bc293d50bc9b1831ae017707e312bdf50e7 /plugins/micromega/micromega.ml | |
parent | 83ec679e785f5313f088be77bcd652a29783623b (diff) |
A proposal to unify the messages given by Test and Print Options (#5062).
Diffstat (limited to 'plugins/micromega/micromega.ml')
0 files changed, 0 insertions, 0 deletions