From f9dcf9569c4d08ab93c10b34d1a97ac18ab6cccc Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 2 Oct 2015 17:32:25 -0400
Subject: [PATCH] The Recursive case contains two Terms, not one.

---
 prototype/Doubt/Algorithm.swift | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prototype/Doubt/Algorithm.swift b/prototype/Doubt/Algorithm.swift
index abe0f46df..4baf3116c 100644
--- a/prototype/Doubt/Algorithm.swift
+++ b/prototype/Doubt/Algorithm.swift
@@ -6,8 +6,8 @@ public enum Algorithm<Recur, A> {
 	/// The type of `Diff`s which `Algorithm`s produce.
 	public typealias Diff = Free<A, Patch<A>>
 
-	/// Indicates that diffing should recur into the enclosed `Term`.
+	/// Indicates that diffing should compare the enclosed `Term`s.
 	///
 	/// When run, the enclosed function will be applied to the resulting `Diff`.
-	case Recursive(Term, Diff -> Recur)
+	case Recursive(Term, Term, Diff -> Recur)
 }