fix memory leaks - Githubissues

metamath / metamath-exe

Metamath program - source code for the Metamath executable

GNU General Public License v2.0

75 stars 25 forks source link

fix memory leaks #125

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

Hopefully this will fix the OOM issue on the website. These issues were found by running valgrind on the executable and doing some typical commands.