search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Unnecessary dependency on the `cpphs` library #33

Closed asr closed 8 years ago

asr commented 8 years ago

It seems that the dependency on the cpphs library is unnecessary.

jonaprieto commented 8 years ago

Thanks for noted.

asr commented 8 years ago

Which commit closed this issue?

jonaprieto commented 8 years ago

This https://github.com/jonaprieto/OnlineATPs/commit/8023acdc44a3813909ffebf69a7bab75c6b4a5f6