diff options
Diffstat (limited to 'src/hashFFI.urs')
-rw-r--r-- | src/hashFFI.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/hashFFI.urs b/src/hashFFI.urs index 55acadd..f9c6ba5 100644 --- a/src/hashFFI.urs +++ b/src/hashFFI.urs @@ -12,3 +12,5 @@ CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. *) val md5 : blob -> string + +val sha1 : blob -> string |