rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Close the files after comparing them. #17

Open lastland opened 6 years ago

lastland commented 6 years ago

Function same_content_files does not close the files after comparing them. This causes the second problem described in #16. And this PR fixes #16.

lastland commented 6 years ago

I suppose Windows does not allow you to remove a file which is not closed.