diff --git a/src/api/z3.h b/src/api/z3.h
index fcab174a8..99929f33b 100644
--- a/src/api/z3.h
+++ b/src/api/z3.h
@@ -32,7 +32,6 @@ Notes:
 #include "z3_optimization.h"
 #include "z3_interp.h"
 #include "z3_fpa.h"
-
-#include"z3_spacer.h"
+#include "z3_spacer.h"
 #endif