From e465bd9b74cce45ed007f7c36619d9c6dfddb2a2 Mon Sep 17 00:00:00 2001
From: lyj <sjtu5140809011@gmail.com>
Date: Fri, 23 Jul 2021 10:58:41 +0800
Subject: [PATCH] typo fix

---
 polonius-engine/src/output/initialization.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/polonius-engine/src/output/initialization.rs b/polonius-engine/src/output/initialization.rs
index 40d30b027c..30409d965a 100644
--- 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,
             (