From 24207d40e9cb56173de22d9a424975f0da0bc416 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 3 Oct 2008 20:42:09 +0000
Subject: extended AP with Ord and compar in 1.5

---
 next-lib/src/api/Combinators.gf | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'next-lib/src/api/Combinators.gf')

diff --git a/next-lib/src/api/Combinators.gf b/next-lib/src/api/Combinators.gf
index 16e184fc1..07431c9af 100644
--- a/next-lib/src/api/Combinators.gf
+++ b/next-lib/src/api/Combinators.gf
@@ -80,12 +80,6 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
       neg : RCl -> RS 
     };
 
---2 Text append
-
--- This is not in ground API, because it would destroy parsing.
-
-    appendText : Text -> Text -> Text ;
-
 --.
 
     pred = overload {
-- 
cgit v1.2.3