Merge pull request #93 from control-toolbox/patch-1

updated Project.toml according to @tmigot patch-1 PR
control-toolbox · May 23, 2024 · 237bae7 · 237bae7
2 parents c3d7eb6 + 5676d45
commit 237bae7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -10,13 +10,12 @@ DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 NLPModels = "a4795742-8479-5a88-8948-cc11e1c8c1a6"
 NLPModelsIpopt = "f4238b75-b362-5c4c-b852-0801c9a21d71"
-Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
+Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 
 [compat]
-ADNLPModels = "0.7"
 CTBase = "0.8"
 DocStringExtensions = "0.9"
-Symbolics = "5.28"
 SymbolicUtils = "~1.5"
+Symbolics = "5"
 julia = "1.9"