Merge pull request #171 from lengyijun/patch-6

typo fix
rust-lang · Jul 30, 2021 · 4442840 · 4442840
2 parents 696ff58 + e465bd9
commit 4442840
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/polonius-engine/src/output/initialization.rs b/polonius-engine/src/output/initialization.rs
@@ -171,8 +171,8 @@ fn compute_move_errors<T: FactTypes>(
 
         // path_maybe_uninitialized_on_exit(path, point2) :-
         //     path_maybe_uninitialized_on_exit(path, point1),
-        //     cfg_edge_(point1, point2)
-        //     !path_assigned_at(point1, point2).
+        //     cfg_edge(point1, point2)
+        //     !path_assigned_at(path, point2).
         path_maybe_uninitialized_on_exit.from_leapjoin(
             &path_maybe_uninitialized_on_exit,
             (