diff options
| author | Pascal Kuthe | 2023-07-13 22:55:12 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-07-17 05:08:50 +0000 |
| commit | 68a98ac36bc0b45c65992cd5c9bea34facd3483e (patch) | |
| tree | 41f6d3f6fe114462035c795d8e733b0697faf264 /runtime/queries/purescript | |
| parent | 2d5ff9ec8ff3d054973cc9198312e577863e693f (diff) | |
use a single query for injections
In the past we used two separate queries for combined and normal injections. There was no real reason for this (except historical/slightly easier implementation). Instead, we now use a single query and simply check if an injection corresponds to a combined injection or not.
Diffstat (limited to 'runtime/queries/purescript')
0 files changed, 0 insertions, 0 deletions