diff options
Diffstat (limited to 'KnownState.cpp')
| -rw-r--r-- | KnownState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/KnownState.cpp b/KnownState.cpp index 244270fb..e83810d4 100644 --- a/KnownState.cpp +++ b/KnownState.cpp @@ -136,7 +136,7 @@ ExpressionClasses::Id KnownState::stackElement(int _stackHeight, SourceLocation if (m_stackElements.count(_stackHeight)) return m_stackElements.at(_stackHeight); // Stack element not found (not assigned yet), create new equivalence class. - return m_stackElements[_stackHeight] = initialStackElement(_stackHeight, _location); + return m_stackElements[_stackHeight] = m_expressionClasses->newId(); } ExpressionClasses::Id KnownState::initialStackElement( |