From 7dd81f5e9be51b24990bba7d57fc938dd7bf9df8 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Fri, 30 Mar 2018 20:51:11 -0700
Subject: [PATCH] Remove unused (and non-existent) header from code.

---
 include/reserved.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/reserved.h b/include/reserved.h
index 7e4bab8..8cf52b5 100644
--- a/include/reserved.h
+++ b/include/reserved.h
@@ -4,7 +4,6 @@
 #include "result.h"
 #include "parsetype.h"
 #include "tree.h"
-#include "value.h"
 #include "libabacus.h"
 
 /**