Skip to content

Commit 4442840

Browse files
authored
Merge pull request #171 from lengyijun/patch-6
typo fix
2 parents 696ff58 + e465bd9 commit 4442840

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

polonius-engine/src/output/initialization.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -171,8 +171,8 @@ fn compute_move_errors<T: FactTypes>(
171171

172172
// path_maybe_uninitialized_on_exit(path, point2) :-
173173
// path_maybe_uninitialized_on_exit(path, point1),
174-
// cfg_edge_(point1, point2)
175-
// !path_assigned_at(point1, point2).
174+
// cfg_edge(point1, point2)
175+
// !path_assigned_at(path, point2).
176176
path_maybe_uninitialized_on_exit.from_leapjoin(
177177
&path_maybe_uninitialized_on_exit,
178178
(

0 commit comments

Comments
 (0)