From 6327829f6ed11f831891d8c7c800d3a53b456ae9 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 5 Nov 2015 16:49:24 -0500
Subject: [PATCH] Replace pures.

---
 prototype/doubt-difftool/main.swift | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prototype/doubt-difftool/main.swift b/prototype/doubt-difftool/main.swift
index 8bd2daba1..97facc812 100644
--- a/prototype/doubt-difftool/main.swift
+++ b/prototype/doubt-difftool/main.swift
@@ -146,6 +146,8 @@ func parserForType(type: String) -> String throws -> Term {
 
 func refineLeafReplacement(diff: Diff, aString: String, bString: String) -> Diff {
 	switch diff {
+	case let .Pure(.Replace(a, b)):
+		return .Roll((a.extract, b.extract), .Indexed([]))
 	default:
 		return diff
 	}