Removed redundant [n] in iterated view declarations

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Closed septract closed 7 years ago

septract commented 7 years ago

This means:

This PRQ resolves issue #84.

MattWindsor91 commented 7 years ago

This looks absolutely fine. :shipit: