From 519f073af3fff14d3136dcfa18541a8a08b5f914 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 8 May 2014 14:18:03 +0000
Subject: [PATCH] Wide Coverage Demo Web App: bug fix: swapping source and
 target works again

---
 src/www/js/wc.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/www/js/wc.js b/src/www/js/wc.js
index 6ffc21142..e35b8f9c9 100644
--- a/src/www/js/wc.js
+++ b/src/www/js/wc.js
@@ -273,7 +273,7 @@ wc.colors=function() {
 
 wc.swap=function() {
     var f=wc.f
-    function txt(r) { return r.t.text }
+    function txt(so) { return so.text }
     f.input.value=wc.os.map(txt).join("").trimRight()
     var from=f.from.value
     f.from.value=f.to.value