commit dc1d56d4419f2789dc8b0bd6ed5be0aceb8954c7 Author: Tanmai Khanna Date: Wed Aug 12 17:11:56 2020 +0530 Unused variable diff --git a/src/rtx_processor.h b/src/rtx_processor.h index 72200aa..44fcc79 100644 --- a/src/rtx_processor.h +++ b/src/rtx_processor.h @@ -139,12 +139,6 @@ private: * wordbound blank to be output */ wstring out_wblank; - - /** - * A map of variable name to the wblank of the lemma in the variable - * if one was clipped and added to the variable - */ - map var_out_wblank; /** * Input to the virtual machine