From d74e4fb23134ed7366b7807abad6e90090d8a87b Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 15 Oct 2015 11:20:41 -0400 Subject: [PATCH] Missed a couple of cases in SES. --- prototype/Doubt/SES.swift | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prototype/Doubt/SES.swift b/prototype/Doubt/SES.swift index b7c03cf85..f5235c57f 100644 --- a/prototype/Doubt/SES.swift +++ b/prototype/Doubt/SES.swift @@ -58,12 +58,12 @@ public func SES(a: [Term], _ b: [Term], recur: (Term, Term) -> Free