reduce headers (unnecessary for this solution)

This commit is contained in:
Fischlurch 2016-01-04 04:09:47 +01:00
parent 7ed07ce3c5
commit 9f8ab48c51

View file

@ -40,9 +40,9 @@
typedef unsigned int uint;
#include "lib/p.hpp"
#include "lib/format-util.hpp"
//#include "lib/format-util.hpp"
#include "lib/diff/gen-node.hpp"
#include "lib/util.hpp"
//#include "lib/util.hpp"
#include "lib/meta/util.hpp"
@ -50,7 +50,7 @@ typedef unsigned int uint;
//#include <cstdarg>
#include <utility>
#include <string>
#include <typeinfo>
//#include <typeinfo>
using lib::diff::GenNode;
using lib::P;