1 files changed, 1 insertions, 0 deletions
diff --git a/main.cxx b/main.cxx
index 0e584b5b..ddd91fe2 100644
--- a/main.cxx
+++ b/main.cxx
@@ -14,6 +14,7 @@
 #include "elaborate.h"
 #include "translate.h"
 #include "buildrun.h"
+#include "session.h"
 
 #include <iostream>
 #include <fstream>