Index: src/IceInstrumentation.h |
diff --git a/src/IceInstrumentation.h b/src/IceInstrumentation.h |
index abd5d083e3e835b50e958cc67f1388c79e3a9ee7..fcb8140307560bf093d7b5410ff213ea1ef5ae13 100644 |
--- a/src/IceInstrumentation.h |
+++ b/src/IceInstrumentation.h |
@@ -41,7 +41,9 @@ class Instrumentation { |
public: |
Instrumentation(GlobalContext *Ctx) : Ctx(Ctx) {} |
- virtual void instrumentGlobals() {}; |
+ virtual void instrumentGlobals(VariableDeclarationList &Globals) { |
Jim Stichnoth
2016/06/09 22:27:39
If you do this:
virtual void instrumentGlobals(
tlively
2016/06/09 23:30:10
Done.
|
+ (void) Globals; |
+ }; |
void instrumentFunc(Cfg *Func); |
private: |