Skip to content

Commit f433799

Browse files
more incorrect tool name fixes
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Signed-off-by: Michael R Fairhurst <MichaelRFairhurst@github.com>
1 parent e0ae07f commit f433799

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

server/src/prompts/check-for-duplicated-code.prompt.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -165,7 +165,7 @@ Parameters:
165165

166166
For each promising candidate, identify the predicate or class definitions that may overlap. One definition will be in the query file (`.ql`) and the other will be in the library file (`.qll`).
167167

168-
Using the tools `find_predicate_location` and `find_class_location`, you can retrieve the full definition of each predicate or class, and compare them to determine whether they are identical, equivalent, overlapping, or if one is a superior implementation that could be reused by the query file.
168+
Using the tools `find_predicate_position` and `find_class_position`, you can retrieve the full definition of each predicate or class, and compare them to determine whether they are identical, equivalent, overlapping, or if one is a superior implementation that could be reused by the query file.
169169

170170
Dutifully analyze whether the shared library file definition would reduce code duplication in the categories identified before: maintenance, simplicity, readability, consistency, and completeness/correctness. Consider contextual factors such as comments explaining why the local definition differs from the library one, or whether the local definition is a thin wrapper around the library definition that adds value (e.g. by improving naming or adding extra checks).
171171

0 commit comments

Comments
 (0)