diff options
Diffstat (limited to 'BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs b/BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs index 4a469ad1..49b43137 100644 --- a/BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs +++ b/BCT/BytecodeTranslator/Phone/PhoneCodeWrapperWriter.cs @@ -8,12 +8,10 @@ using TranslationPlugins; namespace BytecodeTranslator.Phone {
class PhoneCodeWrapperWriter {
private static Sink sink;
- private static PhoneControlsPlugin controlsPlugin;
private static readonly string BOOGIE_MAIN_PROCEDURE = "$__BOOGIE_MAIN_PROCEDURE__$";
- public static void createCodeWrapper(Sink sink, PhoneControlsPlugin controlsPlugin) {
+ public static void createCodeWrapper(Sink sink) {
PhoneCodeWrapperWriter.sink = sink;
- PhoneCodeWrapperWriter.controlsPlugin = controlsPlugin;
/*
* create Main procedure
* - creates page instances, one per page -- this overapproximates as there may be more instances
|