update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / rolesUtils.mli

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli b/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli
index 5266292950086ab062f40e3e769528e8d96630e0..92acc162a432bf261733c28539173db753e9e796 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli
@@ -30,6 +30,8 @@ val string_of_version: RolesTypes.version -> string
 
 val version_of_string: string -> RolesTypes.version
 
+val compare_versions: RolesTypes.version -> RolesTypes.version -> int
+
 val string_of_name: RolesTypes.name -> string
 
 val name_of_string: string -> RolesTypes.name