From 6aaa09dfff50fdd22aeef563de63a50926bb553f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 16 Dec 2010 13:35:40 -0500
Subject: Fiddly tweaks

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

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

diff --git a/lib/ur/list.urs b/lib/ur/list.urs
index c23bf840..9ad738f1 100644
--- a/lib/ur/list.urs
+++ b/lib/ur/list.urs
@@ -72,6 +72,7 @@ val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a
 
 val nth : a ::: Type -> list a -> int -> option a
+val replaceNth : a ::: Type -> list a -> int -> a -> list a
 
 (** Association lists *)
 
-- 
cgit v1.2.3