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;
 };
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////