improved type hierarchy management

[helm.git] / helm / software / lambda-delta / basic_rg / brg.ml

diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_rg/brg.ml
index 17532c970f32f234a4f5d5654e852a36834b63a4..4778e5c3e9ef8716a46ccff050ecb211eef90eda 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/basic_rg/brg.ml
@@ -31,8 +31,6 @@ type context = int * (id * bind) list
 
 type message = (context, term) Log.item list
 
-type hierarchy = int -> int
-
 (* Currified constructors ***************************************************)
 
 let abst w = Abst w