Skip to content
GitLab

Fix MiniSAT build error

Merged Paul Wild requested to merge minisat_compile into master

This missing space caused a build error on my machine, after I added it, it compiled fine.