From b17e585eb7c3b131dfcd38a537be567efaaca73b Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Mon, 15 Jun 2015 14:34:17 -0400
Subject: Add SHA-1 support

---
 src/hash.urs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/hash.urs')

diff --git a/src/hash.urs b/src/hash.urs
index bc4a543..b0bfb69 100644
--- a/src/hash.urs
+++ b/src/hash.urs
@@ -19,3 +19,5 @@ val sql_digest : sql_injectable digest
 val sql_maxable_digest : sql_maxable digest
 
 val md5 : blob -> digest
+
+val sha1 : blob -> digest
-- 
cgit v1.2.3