Index: src/d8-readline.cc |
diff --git a/src/d8-readline.cc b/src/d8-readline.cc |
index 15b1361727960fbbfedf3d8bf7fcbdbf726d3f57..13f62b9d2646bc55e34424d17289e56f5fb9f594 100644 |
--- a/src/d8-readline.cc |
+++ b/src/d8-readline.cc |
@@ -25,7 +25,7 @@ |
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
-#include <cstdio> // NOLINT |
+#include <stdio.h> // NOLINT |
Benedikt Meurer
2014/01/07 08:20:27
Why use stdio.h instead of cstdio?
|
#include <string.h> // NOLINT |
#include <readline/readline.h> // NOLINT |
#include <readline/history.h> // NOLINT |