Remove name shadowing 2 - Githubissues

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Remove name shadowing 2 #673

Closed tbidne closed 8 months ago

tbidne commented 8 months ago

Follow-up to https://github.com/ucsd-progsys/liquid-fixpoint/pull/672.

tbidne commented 8 months ago

Thanks!