You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I wanna rename an atom , but the it returns invalid variable. I checked the codes, rename_var doesn't allow atom as input. Do you have another function to do that? Or is it a bug?