From 09d22cc112ddb99af97052c7746250ffd940631e Mon Sep 17 00:00:00 2001 From: lyj Date: Mon, 24 May 2021 19:26:57 +0800 Subject: [PATCH] typo fix --- polonius-engine/src/facts.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/polonius-engine/src/facts.rs b/polonius-engine/src/facts.rs index 1dfa3598b3..9134bfcc7e 100644 --- a/polonius-engine/src/facts.rs +++ b/polonius-engine/src/facts.rs @@ -25,7 +25,7 @@ pub struct AllFacts { /// `subset_base(origin1, origin2, point)` when we require `origin1@point: origin2@point`. /// Indicates that `origin1 <= origin2` -- i.e., the set of loans in `origin1` are a subset - // of those in `origin2`. + /// of those in `origin2`. pub subset_base: Vec<(T::Origin, T::Origin, T::Point)>, /// `loan_invalidated_at(point, loan)` indicates that the `loan` is invalidated by some action