Update docs/packages.toml

jump-dev · Dec 10, 2023 · bef213c · bef213c
1 parent 20376af
commit bef213c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -127,7 +127,7 @@
     rev = "v0.5.2"
 [DisjunctiveProgramming]
     user = "hdavid16"
-    rev = "b71f715ba826fa63677da9590ae41b41ca5024e6"
+    rev = "5d814e9023acf25672977632bc9dc111d68ea8ca"
     filename = "docs/jump/README.md"
     extension = true
 [EAGO]