comparison src/pt-check.h @ 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 cd96d29c5efa
children fd0a3ac60b0e
comparison
equal deleted inserted replaced
10446:ba932ad87a04 10447:12d25a1d84bf