fix for distro

[helm.git] / helm / software / components / tactics / inversion_principle.ml

diff --git a/helm/software/components/tactics/inversion_principle.ml b/helm/software/components/tactics/inversion_principle.ml
index 2138893d3b5ab7d163e33f87f9df7fc0b71e714c..b16b133bac997364592db469ef3f8df0d77bd3cd 100644 (file)
--- a/helm/software/components/tactics/inversion_principle.ml
+++ b/helm/software/components/tactics/inversion_principle.ml
@@ -105,7 +105,6 @@ let rec get_prop_arity sort rightparam_tys(*only to name m's*) created_vars_ty
      Cic.Sort(Cic.Prop))
    else
     Cic.Sort Cic.Prop
-  | _ -> assert false
 ;;
 
 (* created vars is empty at the beginning *)