From b858c164d859904fd67977a462297e9f674b5ffa Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Mon, 2 Nov 2015 16:11:55 -0500
Subject: [PATCH] Term printing is private.

---
 prototype/doubt-difftool/Unified.swift | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prototype/doubt-difftool/Unified.swift b/prototype/doubt-difftool/Unified.swift
index 2575fef97..4f08b364c 100644
--- a/prototype/doubt-difftool/Unified.swift
+++ b/prototype/doubt-difftool/Unified.swift
@@ -1,4 +1,4 @@
-func unified(patch: Patch<Term>, source: String) -> String {
+private func unified(patch: Patch<Term>, source: String) -> String {
 	return (patch.state.before.map { "{-\($0)-}" } ?? "")
 		+ (patch.state.after.map { "{+\($0)+}" } ?? "")
 }