From e998c5b7bef3974d546ed9bcf31bd072b2c917d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 1 Jun 2017 00:16:02 +0200
Subject: [PATCH] Removed unused variable.

---
 include/anthem/Context.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/anthem/Context.h b/include/anthem/Context.h
index 236fca7..fdf1f44 100644
--- a/include/anthem/Context.h
+++ b/include/anthem/Context.h
@@ -25,8 +25,6 @@ struct Context
 
 	bool simplify = false;
 	bool complete = false;
-
-	size_t anonymousVariableID = 1;
 };
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////