Merge pull request #163 from lengyijun/patch-1

typo fix
rust-lang · May 24, 2021 · ab8eb57 · ab8eb57
2 parents de83bca + 09d22cc
commit ab8eb57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/polonius-engine/src/facts.rs b/polonius-engine/src/facts.rs
@@ -25,7 +25,7 @@ pub struct AllFacts<T: FactTypes> {
 
     /// `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