diff --git a/src/solvers/sat/satcheck_minisat2.h b/src/solvers/sat/satcheck_minisat2.h
index ad51395ea4..82d623b822 100644
--- a/src/solvers/sat/satcheck_minisat2.h
+++ b/src/solvers/sat/satcheck_minisat2.h
@@ -17,7 +17,7 @@ Author: Daniel Kroening, kroening@kroening.com
 namespace Minisat
 {
   class Solver;
-};
+}
 
 class satcheck_minisat_baset:public cnf_solvert
 {