Fixed typo in docs

sunjay · sunjay · commit 955ca69d9a6b · 2018-06-06T12:40:13.000-07:00
diff --git a/src/ir.rs b/src/ir.rs
@@ -735,7 +735,7 @@ pub enum DomainGoal {
     ///         IsDeeplyExternal(Pn)
     /// }
     ///
-    /// For each fundamental struct P<P0>,
+    /// For each fundamental struct S<P0>,
     ///
     /// forall<P0> { IsDeeplyExternal(S<P0>) :- IsDeeplyExternal(P0) }
     ///
