Removed unused variable.

This commit is contained in:
Patrick Lühne 2017-06-01 00:16:02 +02:00
parent 957457939c
commit e998c5b7be
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 2 deletions

View File

@ -25,8 +25,6 @@ struct Context
bool simplify = false;
bool complete = false;
size_t anonymousVariableID = 1;
};
////////////////////////////////////////////////////////////////////////////////////////////////////