fix typos in free_symbols

JuliaReach · Jul 24, 2024 · 9d429a9 · 9d429a9
1 parent 14c3f62
commit 9d429a9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Initialization/init_SymEngine.jl b/src/Initialization/init_SymEngine.jl
@@ -71,9 +71,9 @@ function free_symbols(::Expr, ::Type{<:LazySet}) end  # COV_EXCL_LINE
 
 function free_symbols(expr::Expr)
     if _is_hyperplane(expr)
-        return free_symbols(expr, HyperPlane)
+        return free_symbols(expr, Hyperplane)
     elseif _is_halfspace(expr)
-        return free_symbols(expr, Halfspace)
+        return free_symbols(expr, HalfSpace)
     else
         error("the free symbols for the expression $(expr) is not implemented")
     end