Skip to content

Fix MiniSAT build error

Paul Wildrequested to merge
minisat_compile into master

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

Merge request reports