diff options
author | 2014-09-25 11:48:47 +0200 | |
---|---|---|
committer | 2014-09-25 11:48:47 +0200 | |
commit | 8548fbe4dea2869fba10203218bad06bbaf2ed36 (patch) | |
tree | 06fd6843619367c31772b49c9e71323b60ea7519 /lib/int.ml | |
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 'lib/int.ml')
0 files changed, 0 insertions, 0 deletions