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