From cb0406fb6b61184200c4205036ae429663dee3f3 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Mon, 9 Sep 2024 14:08:16 +0200
Subject: [PATCH] rename function

---
 src/Interfaces/LazySet.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Interfaces/LazySet.jl b/src/Interfaces/LazySet.jl
index e085a7dd82..cd05068eb8 100644
--- a/src/Interfaces/LazySet.jl
+++ b/src/Interfaces/LazySet.jl
@@ -960,7 +960,7 @@ pair of sets ``(X, Y)`` we have the identity ``(X ∩ Y)^C = X^C ∪ Y^C``. We c
 apply this identity for each constraint that defines a polyhedral set.
 """
 function complement(X::LazySet)
-    if !is_polyhedral(X)
+    if !ispolyhedral(X)
         throw(ArgumentError("this implementation requires a polyhedral set"))
     end
     return UnionSetArray(constraints_list(Complement(X)))