From e20e964083a048ad4cbb88cc1af3790694f51dfa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 1 Nov 2009 10:20:20 -0500
Subject: Bidding interface

---
 lib/ur/string.ur | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/ur/string.ur')

diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index e31bbc27..fb5a3f97 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -1,5 +1,7 @@
 type t = Basis.string
 
+val str = Basis.str1
+
 val length = Basis.strlen
 val append = Basis.strcat
 
-- 
cgit v1.2.3