Skip to content

Commit 9ce2cef

Browse files
authored
Update chalk-recursive/src/recursive.rs
1 parent e98a14f commit 9ce2cef

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

chalk-recursive/src/recursive.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -212,7 +212,7 @@ impl<'me, I: Interner> SolveDatabase<I> for Solver<'me, I> {
212212
// Check if this table is still on the stack.
213213
if let Some(depth) = self.context.search_graph[dfn].stack_depth {
214214
self.context.stack[depth].flag_cycle();
215-
// Mixed cycles are not allowed. For mor information about this
215+
// Mixed cycles are not allowed. For more information about this
216216
// see the corresponding section in the coinduction chapter:
217217
// https://rust-lang.github.io/chalk/book/recursive/coinduction.html#mixed-co-inductive-and-inductive-cycles
218218
if self

0 commit comments

Comments
 (0)