comparison src/input.cc @ 10447:12d25a1d84bf

Use gnulib headers instead of C++ std headers where needed.
author David Grundberg <davidg@cs.umu.se>
date Wed, 24 Mar 2010 17:27:58 +0100
parents 479cc8a0a846
children bbe99b2a5ba7
comparison
equal deleted inserted replaced
10446:ba932ad87a04 10447:12d25a1d84bf
25 25
26 #ifdef HAVE_CONFIG_H 26 #ifdef HAVE_CONFIG_H
27 #include <config.h> 27 #include <config.h>
28 #endif 28 #endif
29 29
30 #include <cstdio> 30 #include "stdio.h"
31 #include <cstdlib> 31 #include <cstdlib>
32 #include <cstring> 32 #include <cstring>
33 #include <cassert> 33 #include <cassert>
34 34
35 #include <iostream> 35 #include <iostream>