added: deprecated field in hidden getinfo keys

franckgaga · franckgaga · commit 4d9963731cab · 2025-11-28T15:09:09.000-05:00
diff --git a/src/general.jl b/src/general.jl
@@ -17,7 +17,7 @@ const ALL_COLORING_ORDERS = (
 )
 
 const HIDDEN_GETINFO_KEYS_MHE = (
-    :What, :xhatarr, :epsilon, :Xhat, :xhat, :Vhat, :Pbar, :xbar, :Yhat, :Yhatm
+    :What, :xhatarr, :epsilon, :Xhat, :xhat, :Vhat, :Pbar, :xbar, :Yhat, :Yhatm, :ϵ
 )
 
 const HIDDEN_GETINFO_KEYS_MPC = (

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ const ALL_COLORING_ORDERS = (`
`17`	`17`	`)`
`18`	`18`
`19`	`19`	`const HIDDEN_GETINFO_KEYS_MHE = (`
`20`		`- :What, :xhatarr, :epsilon, :Xhat, :xhat, :Vhat, :Pbar, :xbar, :Yhat, :Yhatm`
	`20`	`+ :What, :xhatarr, :epsilon, :Xhat, :xhat, :Vhat, :Pbar, :xbar, :Yhat, :Yhatm, :ϵ`
`21`	`21`	`)`
`22`	`22`
`23`	`23`	`const HIDDEN_GETINFO_KEYS_MPC = (`