Skip to content

Commit

Permalink
Merge branch 'main' into jeongsoolee09/unknown-remote-model
Browse files Browse the repository at this point in the history
  • Loading branch information
jeongsoolee09 authored Jan 17, 2024
2 parents 74da4e1 + 051c291 commit fbfc592
Show file tree
Hide file tree
Showing 3 changed files with 183 additions and 134 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1015,9 +1015,9 @@ module BindingStringParser<BindingStringReaderSig BindingStringReader> {
)
}

stdlib::Location getLocation() {
result = getSourceToken().getReader().getLocation()
}
stdlib::Location getLocation() { result = getSourceToken().getReader().getLocation() }

string getSource() { result = getSourceToken().getReader().getBindingString() }
}

predicate mkBindingPath(Token first, BindingPath bindingPath, Token last) {
Expand Down
Loading

0 comments on commit fbfc592

Please sign in to comment.