Fix docs

jump-dev · Sep 10, 2023 · ad31fec · ad31fec
1 parent a8f7b0c
commit ad31fec
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/docs/src/manual/models.md b/docs/src/manual/models.md
@@ -291,8 +291,10 @@ julia> time_limit_sec(model)
 
 julia> unset_time_limit_sec(model)
 
-julia> time_limit_sec(model)
-Inf
+julia> limit = time_limit_sec(model)
+
+julia> limit === nothing
+true
 ```
 
 If your time limit is encoded as a `Dates.Period` object, use the following code