From 9f8ab48c51d8cb778adb747ec4d83fb0be8f3c99 Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Mon, 4 Jan 2016 04:09:47 +0100
Subject: [PATCH] reduce headers (unnecessary for this solution)

---
 research/try.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/research/try.cpp b/research/try.cpp
index b1e650772..62cd11435 100644
--- a/research/try.cpp
+++ b/research/try.cpp
@@ -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;