Index: src/IceCfg.h |
diff --git a/src/IceCfg.h b/src/IceCfg.h |
index e2aef4601cc47de9e641870c3482d1ba6f81d25f..4e7f60211cf3ef8b4075e452a73e1d77a1584e9e 100644 |
--- a/src/IceCfg.h |
+++ b/src/IceCfg.h |
@@ -62,6 +62,7 @@ public: |
// Manage instruction numbering. |
InstNumberT newInstNumber() { return NextInstNumber++; } |
+ InstNumberT getNextInstNumber() const { return NextInstNumber; } |
// Manage Variables. |
// Create a new Variable with a particular type and an optional |