diff options
author | Xavier Clerc <xavier.clerc@inria.fr> | 2014-09-25 11:48:47 +0200 |
---|---|---|
committer | Xavier Clerc <xavier.clerc@inria.fr> | 2014-09-25 11:48:47 +0200 |
commit | 8548fbe4dea2869fba10203218bad06bbaf2ed36 (patch) | |
tree | 06fd6843619367c31772b49c9e71323b60ea7519 /test-suite/failure/Case1.v | |
parent | 5ee96761e3cd19236f446a11d178a31328b325ec (diff) |
Revert changes of commit 4e1135fb315eab7 over file "plugins/micromega/sos.ml",
as "||" is actually redefined in "plugins/micromega/sos_lib.ml".
Diffstat (limited to 'test-suite/failure/Case1.v')
0 files changed, 0 insertions, 0 deletions