utilities for creating environment dumps

[helm.git] / helm / ocaml / cic_proof_checking / utilities / list_uris.ml

diff --git a/helm/ocaml/cic_proof_checking/utilities/list_uris.ml b/helm/ocaml/cic_proof_checking/utilities/list_uris.ml
new file mode 100644 (file)
index 0000000..8dad4e6
--- /dev/null
+++ b/helm/ocaml/cic_proof_checking/utilities/list_uris.ml
@@ -0,0 +1,5 @@
+let ic = open_in Sys.argv.(1) in
+CicEnvironment.restore_from_channel ic;
+List.iter
+  (fun uri -> print_endline (UriManager.string_of_uri uri))
+  (CicEnvironment.list_uri ())