Skip to content
GitLab
Explore
Sign in
Software
nusmvf
Merge requests
!1
Fix MiniSAT build error
Code
Review changes
Check out branch
Download
Patches
Plain diff
Paul Wild
requested to merge
minisat_compile
into
master
Dec 15, 2020
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
This missing space caused a build error on my machine, after I added it, it compiled fine.
Merge request reports