From f521ae09b1a671115596eb5309a8bcb6c713ec65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Fri, 5 Apr 2024 14:58:00 +0200
Subject: [PATCH] Fix

---
 docs/src/optimization.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/optimization.md b/docs/src/optimization.md
index a3e9b88..a4befbe 100644
--- a/docs/src/optimization.md
+++ b/docs/src/optimization.md
@@ -123,7 +123,7 @@ we are either in the following three situations:
 
 A JuMP model is treated by `polyhedron` just like any H-representation. For example, the hypercube of dimension `n` can be created as follows
 ```@example lphrep
-using JuMP
+using JuMP, Polyhedra
 model = Model()
 @variable(model, 0 ≤ x[1:2] ≤ 1)
 h = hrep(model)