diff options
author | 2017-11-15 14:20:00 +0100 | |
---|---|---|
committer | 2017-11-16 14:23:07 +0100 | |
commit | 6af31414f91065a3a97af32b9151a6010792753a (patch) | |
tree | 29242ed58354aa4290e050df073c926b754a498d /library/univops.ml | |
parent | a2b02cb9142984b912bf01cea09449d767326f19 (diff) |
Fix micromega.ml to match generated file and enforce match in make.
Mismatch probably caused by c5aca4005.
Diffstat (limited to 'library/univops.ml')
0 files changed, 0 insertions, 0 deletions