Prune an unused header.

This commit is contained in:
Bård Skaflestad 2012-06-19 09:34:34 +02:00
parent c4342bd16b
commit fe9cc7f29a

View File

@ -32,7 +32,6 @@
#include <cassert>
#include <cmath>
#include <cstddef>
#include <fstream>
#include <map>
#include <string>
#include <utility>