diff options
Diffstat (limited to 'BCT/PhoneControlsExtractor')
| -rw-r--r-- | BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py b/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py index c9a63c92..5c9da941 100644 --- a/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py +++ b/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py @@ -56,6 +56,7 @@ def outputMainProcedure(file): file.write("\tvar $isEnabled: bool;\n")
file.write("\tvar $control: Ref;\n\n")
+ file.write("\t$Exception := null;\n")
for i in range(0,len(boogiePageVars)):
file.write("\tcall " + boogiePageClasses[i] + ".#ctor(" + boogiePageVars[i] + ");\n")
|