From 2028fa7926121a454d1a72aebb077ac6d5b985fd Mon Sep 17 00:00:00 2001
From: Simon Wells <simonrwells@gmail.com>
Date: Mon, 11 Jan 2016 21:41:33 -0500
Subject: [PATCH] Add missing header to richio

---
 common/richio.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/richio.cpp b/common/richio.cpp
index d24f6b0e52..339684ee3c 100644
--- a/common/richio.cpp
+++ b/common/richio.cpp
@@ -25,6 +25,7 @@
 
 
 #include <cstdarg>
+#include <config.h> // HAVE_FGETC_NOLOCK
 
 #include <richio.h>