mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-25 10:51:25 +07:00
IDEA-78370
This commit is contained in:
@@ -257,6 +257,8 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
|
||||
}
|
||||
|
||||
public void setVarValue(DfaVariableValue var, DfaValue value) {
|
||||
if (var == value) return;
|
||||
|
||||
flushVariable(var);
|
||||
if (value instanceof DfaUnknownValue) return;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user