During the initial setup spacemacs asked, "What type of completion framework do you want?" and I selected "helm".
Now I want to use ivy instead. How to change spacemacs from helm to ivy? There are 16 occurrences of "helm" in my ~/.spacemacs file.
I added "spacemacs-ivy" at top of ~/.spacemacs file and restarted, but that didn't work as described in https://www.reddit.com/r/emacs/comments/407q2c/ivy_is_now_available_in_spacemacs/ . On restart emacs said "Spacemacs encountered an error while loading your '.spacemacs' file."