diff options
| author |  akashlal <unknown> | 2013-04-28 11:28:49 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2013-04-28 11:28:49 +0530 |
| commit | 8d06e693c56205a1d2ba4c25d850c7c6676e19a8 (patch) | |
| tree | 13941a8a2420a87dcbd392e6e1be68c722a9ac1a /Source/BoogieDriver | |
| parent | 09c08ab4fad3fd5020d6743b9d90e41dd8b83bf0 (diff) | |
Added a little bit of virtual-ness to the Inliner class. This is so that I can
subclass it to implement my own inlining policy.
Diffstat (limited to 'Source/BoogieDriver')
0 files changed, 0 insertions, 0 deletions