diff --git a/examples/example18.txt b/examples/example18.txt index 7be0db7c8804ab003ccbd0a4817ec1dc0085b585..9e6746bb9d8b6ceb64b933cfd71f971d247a7b2a 100644 --- a/examples/example18.txt +++ b/examples/example18.txt @@ -14,6 +14,7 @@ class Exe { //The #declass tag implements declassification mechanism. //Below a variable y of tier 0 is declassified to tier 1 //Hence it can be used in a while loop again. + #declass y; x;