Removing unneeded semicolons

nicolasprevot / GpuShareSat

Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.

Other

32 stars 1 forks source link

Removing unneeded semicolons #12

Closed msoos closed 3 years ago

msoos commented 3 years ago

Removing warnings like: /home/soos/development/sat_solvers/cryptominisat/src/gpuShareLib/GpuClauseSharer.h:128:92: warning: extra ‘;’ after in-class function definition [-Wextra-semi]

I know, it's not that important, but it's only a click for you to fix now :)

Mate

nicolasprevot commented 3 years ago

Thanks!