Remove leading new-lines from serialized AGREE

loonwerks / AGREE

Assume-Guarantee REasoning Environment

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

13 stars 5 forks source link

Closed iamundson closed 2 years ago

iamundson commented 2 years ago

Addresses issue #112. AGREE is displayed correctly on both Windows and Linux.