--- a/src/cadical.hpp	2018-03-10 14:22:11.000000000 +0000
+++ b/src/cadical.hpp	2018-03-31 16:18:32.000000000 +0100
@@ -141,6 +141,6 @@
   File * output ();             // get access to internal 'output' file
 };
 
-};
+}
 
 #endif
