From 5add27c1bd83ee618c1c0e0b8e49bc6da88b2072 Mon Sep 17 00:00:00 2001
From: Ronny Bergmann <git@ronnybergmann.net>
Date: Mon, 10 Jun 2024 15:11:34 +0200
Subject: [PATCH] Update src/plans/stopping_criterion.jl

Co-authored-by: Mateusz Baran <mateuszbaran89@gmail.com>
---
 src/plans/stopping_criterion.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plans/stopping_criterion.jl b/src/plans/stopping_criterion.jl
index 763fa2d16a..fc45cf5793 100644
--- a/src/plans/stopping_criterion.jl
+++ b/src/plans/stopping_criterion.jl
@@ -965,7 +965,7 @@ concatenation of all reasons (assuming that all non-indicating return `""`).
 """
 mutable struct StopWhenAny{TCriteria<:Tuple} <: StoppingCriterionSet
     criteria::TCriteria
-    at_iteration::Integer
+    at_iteration::Int
     StopWhenAny(c::Vector{<:StoppingCriterion}) = new{typeof(tuple(c...))}(tuple(c...), -1)
     StopWhenAny(c::StoppingCriterion...) = new{typeof(c)}(c, -1)
 end