]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/common/hierarchy.ml
- we completed the text parser fixing the syntactic shortcuts
[helm.git] / helm / software / lambda-delta / common / hierarchy.ml
index 23c8109bf728e8003845153265cc79cd59e7f4f8..b7d4283539c394e2d35ee5c65fbb977c03eb1317 100644 (file)
@@ -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