summaryrefslogtreecommitdiff
path: root/src/hash.urs
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-06-15 14:34:17 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-06-15 14:34:17 -0400
commitb17e585eb7c3b131dfcd38a537be567efaaca73b (patch)
tree55d863bdd339ab0174265d4e531a42c74f41668e /src/hash.urs
parent5a54ad4ac01a69c554a05eddf077eea08cd766b1 (diff)
Add SHA-1 support
Diffstat (limited to 'src/hash.urs')
-rw-r--r--src/hash.urs2
1 files changed, 2 insertions, 0 deletions
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