Remove the default value for Sym.name

bowenszhu · bowenszhu · commit 6e5f1706fd80 · 2024-06-18T19:19:16.000-07:00
diff --git a/src/types.jl b/src/types.jl
@@ -11,7 +11,7 @@ sdict(kv...) = Dict{BasicSymbolic, Any}(kv...)
 
 @adt BasicSymbolicImpl begin
     struct Sym
-        name::Symbol = :OOF
+        name::Symbol
     end
     struct Term
         f::Any = identity
