Fix comment

fabric-and-ink · fabric-and-ink · commit 05792e794386 · 2017-06-13T22:34:28.000+02:00
diff --git a/src/ir/mod.rs b/src/ir/mod.rs
@@ -481,7 +481,7 @@ pub struct ProgramClause {
 }
 
 /// Represents one clause of the form `consequence :- conditions` where
-/// `conditions = cond_1 || cond_2 || ...` is the conjunction of the individual
+/// `conditions = cond_1 && cond_2 && ...` is the conjunction of the individual
 /// conditions.
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub struct ProgramClauseImplication {

Original file line number	Diff line number	Diff line change
`@@ -481,7 +481,7 @@ pub struct ProgramClause {`
`481`	`481`	`}`
`482`	`482`
`483`	`483`	/// Represents one clause of the form `consequence :- conditions` where
`484`		-/// `conditions = cond_1 \|\| cond_2 \|\| ...` is the conjunction of the individual
	`484`	+/// `conditions = cond_1 && cond_2 && ...` is the conjunction of the individual
`485`	`485`	`/// conditions.`
`486`	`486`	`#[derive(Clone, Debug, PartialEq, Eq, Hash)]`
`487`	`487`	`pub struct ProgramClauseImplication {`