From fc34ad25df46c89a79352a88a6eeb0d623b2d352 Mon Sep 17 00:00:00 2001 From: Vaibhav Dixit Date: Thu, 3 Oct 2024 19:33:18 -0400 Subject: [PATCH] clean up certification tutorial deps --- docs/src/tutorials/certification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/tutorials/certification.md b/docs/src/tutorials/certification.md index 9ecdc0c35..09132c2f3 100644 --- a/docs/src/tutorials/certification.md +++ b/docs/src/tutorials/certification.md @@ -7,7 +7,7 @@ This works with the `structural_analysis` keyword argument to `OptimizationProbl We'll use a simple example to illustrate the convexity structure certification process. ```@example symanalysis -using SymbolicAnalysis, Zygote, LinearAlgebra, Optimization, OptimizationMOI +using SymbolicAnalysis, Zygote, LinearAlgebra, Optimization function f(x, p = nothing) return exp(x[1]) + x[1]^2