comparison src/oct-parse.yy @ 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 34e51d4e199b
children bbe99b2a5ba7
comparison
equal deleted inserted replaced
10446:ba932ad87a04 10447:12d25a1d84bf
32 #ifdef HAVE_CONFIG_H 32 #ifdef HAVE_CONFIG_H
33 #include <config.h> 33 #include <config.h>
34 #endif 34 #endif
35 35
36 #include <cassert> 36 #include <cassert>
37 #include <cstdio> 37 #include "stdio.h"
38 #include <cstdlib> 38 #include "stdlib.h"
39 39
40 #include <iostream> 40 #include <iostream>
41 #include <map> 41 #include <map>
42 #include <sstream> 42 #include <sstream>
43 43