From 6bec5c28045c00df2b5eedc31260f884049e39fc Mon Sep 17 00:00:00 2001
From: "Bowen S. Zhu" <bowenzhu@mit.edu>
Date: Sat, 28 Sep 2024 21:55:30 -0400
Subject: [PATCH] Remove `Base` module identifier from
 `length(::BasicSymbolic)` method

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

diff --git a/src/utils.jl b/src/utils.jl
index 3ced418d..e4977e5d 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -183,7 +183,7 @@ Base.length(l::LL) = length(l.v)-l.i+1
 @inline car(l::LL) = l.v[l.i]
 @inline cdr(l::LL) = isempty(l) ? empty(l) : LL(l.v, l.i+1)
 
-function Base.length(t::BasicSymbolic)
+function length(t::BasicSymbolic)
     @match t.impl begin
         Term(_...) => length(arguments(t)) + 1 # PIRACY
         _ => 1