diff --git a/src/goto-instrument/source_lines.h b/src/goto-instrument/source_lines.h
index de117ba8c1d..b15c6357625 100644
--- a/src/goto-instrument/source_lines.h
+++ b/src/goto-instrument/source_lines.h
@@ -22,6 +22,7 @@ Author: Mark R. Tuttle
 
 #include <map>
 #include <set>
+#include <string>
 
 class source_locationt;