From 1c493e9ec47f4754dd7237078e8c4f3300925ce3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Tue, 29 May 2018 09:49:22 -0400
Subject: Remove insecure crypto function (closes #114)

---
 lib/ur/basis.urs | 5 -----
 1 file changed, 5 deletions(-)

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

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c354d784..dc1b9b76 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -192,11 +192,6 @@ val datetimeSecond : time -> int
 val datetimeDayOfWeek : time -> int
 
 
-(** * Encryption *)
-
-val crypt : string -> string -> string
-
-
 (** HTTP operations *)
 
 con http_cookie :: Type -> Type
-- 
cgit v1.2.3