diff --git a/src/sat/sat_aig_finder.h b/src/sat/sat_aig_finder.h
index 4a5784cc9..5a0ccb254 100644
--- a/src/sat/sat_aig_finder.h
+++ b/src/sat/sat_aig_finder.h
@@ -23,7 +23,7 @@
     AIG finder
   --*/
 
-#pragma once;
+#pragma once
 
 #include "util/params.h"
 #include "util/statistics.h"