From 581a2290590268039cacfbe0762b343f710c3116 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 30 May 2009 09:59:10 -0400
Subject: String.length

---
 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 1209d265..c63c5ed4 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -53,6 +53,7 @@ val ord_time : ord time
 
 (** String operations *)
 
+val strlen : string -> int
 val strcat : string -> string -> string
 val strsub : string -> int -> char
 val strsuffix : string -> int -> string
-- 
cgit v1.2.3