Skip to content

Fix MiniSAT build error

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.

Merge request reports