diff options
Diffstat (limited to 'vo.itarget')
| -rw-r--r-- | vo.itarget | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vo.itarget b/vo.itarget index d322b96c3c..8898dd8fa0 100644 --- a/vo.itarget +++ b/vo.itarget @@ -360,7 +360,7 @@ plugins/interface/CoqInterface.vo plugins/micromega/CheckerMaker.vo plugins/micromega/EnvRing.vo plugins/micromega/Env.vo -plugins/micromega/MExtraction.vo +#plugins/micromega/MExtraction.vo (extraction of micromega.ml) plugins/micromega/OrderedRing.vo plugins/micromega/Psatz.vo plugins/micromega/QMicromega.vo |