Option name alias: 'cmp:eps' #102

ampl · Aug 2, 2023 · c4c9093 · c4c9093
1 parent 3e02be5
commit c4c9093
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/include/mp/flat/redef/MIP/converter_mip.h b/include/mp/flat/redef/MIP/converter_mip.h
@@ -311,8 +311,9 @@ class MIPFlatConverter
   Options options_;
 
   void InitOwnOptions() {
-    this->GetEnv().AddOption("cvt:mip:eps cvt:cmp:eps",
+    this->GetEnv().AddOption("cvt:mip:eps cvt:cmp:eps cmp:eps",
                        "Tolerance for strict comparison of continuous variables for MIP. "
+                             "Applies to <, >, and != operators. "
                        "Also applies to negation of conditional comparisons: "
                        "b==1 <==> x<=5 means that with b==0, x>=5+eps. "
                              "Default: 0.",