diff --git a/shared/cplusplus/PrettyPrinter.cpp b/shared/cplusplus/PrettyPrinter.cpp
index 7664d5b6d40abf991049006e2a6fe770383ae3ea..d6addb855b0e606b186cd9b72ff8c663a017fea8 100644
--- a/shared/cplusplus/PrettyPrinter.cpp
+++ b/shared/cplusplus/PrettyPrinter.cpp
@@ -35,6 +35,7 @@
 #include "AST.h"
 #include <iostream>
 #include <string>
+#include <cassert>
 
 CPLUSPLUS_USE_NAMESPACE