From 6b781622b686ffe958b53b81fe59c21bf970bb4e Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 14 Oct 2015 14:22:19 -0400
Subject: [PATCH] Add the annotations to the JSON.

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

diff --git a/prototype/doubt-json/main.swift b/prototype/doubt-json/main.swift
index f930a54bf..c98e24cff 100644
--- a/prototype/doubt-json/main.swift
+++ b/prototype/doubt-json/main.swift
@@ -91,7 +91,7 @@ extension JSON {
 let arguments = BoundsCheckedArray(array: Process.arguments)
 if let a = arguments[1].flatMap(JSON.init), b = arguments[2].flatMap(JSON.init) {
 	let diff = Algorithm<Term, Diff>(a.term, b.term).evaluate(Cofree.equals(annotation: const(true), leaf: ==))
-	if let JSON = NSString(data: diff.JSON(ifPure: { $0.JSON { $0.JSON(annotation: const([:]), leaf: { $0.JSON }) } }, ifLeaf: { $0.JSON }).serialize(), encoding: NSUTF8StringEncoding) {
+	if let JSON = NSString(data: diff.JSON(ifPure: { $0.JSON { $0.JSON } }, ifLeaf: { $0.JSON }).serialize(), encoding: NSUTF8StringEncoding) {
 		print(JSON)
 	}
 }