diff options
| author |  mikebarnett <unknown> | 2010-07-05 16:21:01 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-05 16:21:01 +0000 |
| commit | a2d05a9f242934499885bb156c258b2f58272e1a (patch) | |
| tree | 0c0a0db986e2794b6fd17e4e99685a406e6d1622 /Source/BoogieDriver/BoogieDriver.ssc | |
| parent | 609b1d52af4c48b98de2bd5e77b8da888ce89d1f (diff) | |
General hygiene: introduced (fixed) a helper method that creates Boogie tokens. Made it an extension method that takes any object implementing IObjectWithLocations. Much easier to use within the translator.
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.ssc')
0 files changed, 0 insertions, 0 deletions