X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fhierarchy.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fhierarchy.ml;h=b7d4283539c394e2d35ee5c65fbb977c03eb1317;hb=4c157ac5c58f34fffc98289c2d2e71032d584a83;hp=23c8109bf728e8003845153265cc79cd59e7f4f8;hpb=28430d599505ac26b51e4887e5196d9b380c898a;p=helm.git

diff --git a/helm/software/lambda-delta/common/hierarchy.ml b/helm/software/lambda-delta/common/hierarchy.ml
index 23c8109bf..b7d428353 100644
--- a/helm/software/lambda-delta/common/hierarchy.ml
+++ b/helm/software/lambda-delta/common/hierarchy.ml
@@ -59,3 +59,6 @@ let set_graph s =
    let err () = false in
    let f g = graph := g; true in
    graph_of_string err f s
+
+let clear () =
+   H.clear sort; graph := graph_of_string C.err C.start default_graph