Open tsantalis opened 1 year ago
https://github.com/JetBrains/Arend/commit/723ab1cf#diff-2ffe116f804e70f3a2c81d6ad4d3f6b47ca9a936dbf6eca727f2300279cda03eL410
There is an Inline Variable in this commit. However the second reference is not matched, because it is part of a qualifiedName
Similar to #20
https://github.com/JetBrains/Arend/commit/723ab1cf#diff-2ffe116f804e70f3a2c81d6ad4d3f6b47ca9a936dbf6eca727f2300279cda03eL410
There is an Inline Variable in this commit. However the second reference is not matched, because it is part of a qualifiedName