Remove "&" from memory management string.

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

BSD 2-Clause "Simplified" License

2 stars 4 forks source link

Remove "&" from memory management string. #151

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

In codegenMemoryManagementString(), all '&' need to be removed from dataspace types. The '&' are only provide information for appendComputation and are not a part a dataspace's type.