From 138f64b8f02f05e6073f61b1db2c3d5e805b75c0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 11 Jan 2011 14:03:54 -0500
Subject: String processing optimizations

---
 lib/ur/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 0938096b..727f2e39 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -81,6 +81,7 @@ val chr : int -> char
 (** String operations *)
 
 val strlen : string -> int
+val strlenGe : string -> int -> bool
 val strcat : string -> string -> string
 val strsub : string -> int -> char
 val strsuffix : string -> int -> string
-- 
cgit v1.2.3