From 763965488329c71abbaafc439995fd711d6fcb4a Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Mon, 7 May 2018 16:58:34 +0200
Subject: [PATCH] Coordination.gf: comma with SOFT_BIND

---
 src/prelude/Coordination.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prelude/Coordination.gf b/src/prelude/Coordination.gf
index a32d3d8c8..33d7b805a 100644
--- a/src/prelude/Coordination.gf
+++ b/src/prelude/Coordination.gf
@@ -132,7 +132,7 @@ oper
     {s = \\p,q,r,t => or.s1++ xs.s1 ! p ! q ! r ! t ++ or.s2 ++ xs.s2 ! p ! q ! r ! t} ;
 	--------------
 
-  comma = "," ;
+  comma = bindComma ;
 
 -- you can also do this to right-associative lists: