--- src/util/vector.c.orig 2018-08-19 09:37:54.000000000 -0600
+++ src/util/vector.c 2023-01-10 09:06:32.820214647 -0700
@@ -525,7 +525,6 @@ listVector* permuteListVector(listVector
listVector *tmp2;
tmp2=LIST;
- v=createVector(numOfVars);
while (LIST) {
tmp=LIST->first;
v=permuteVector(LIST->first,p,numOfVars);