From 0b0c468aeb828f074a1b6a0195fa05216f29ee37 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Fri, 24 Jul 2009 13:48:48 +0000
Subject: [PATCH] Added symbolic links to hTopoSort

---
 helm/software/components/binaries/matitaprover/hTopoSort.ml  | 1 +
 helm/software/components/binaries/matitaprover/hTopoSort.mli | 1 +
 2 files changed, 2 insertions(+)
 create mode 120000 helm/software/components/binaries/matitaprover/hTopoSort.ml
 create mode 120000 helm/software/components/binaries/matitaprover/hTopoSort.mli

diff --git a/helm/software/components/binaries/matitaprover/hTopoSort.ml b/helm/software/components/binaries/matitaprover/hTopoSort.ml
new file mode 120000
index 000000000..32bae9956
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/hTopoSort.ml
@@ -0,0 +1 @@
+../../extlib/hTopoSort.ml
\ No newline at end of file
diff --git a/helm/software/components/binaries/matitaprover/hTopoSort.mli b/helm/software/components/binaries/matitaprover/hTopoSort.mli
new file mode 120000
index 000000000..d3f754d52
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/hTopoSort.mli
@@ -0,0 +1 @@
+../../extlib/hTopoSort.mli
\ No newline at end of file
-- 
2.39.2