From 7ab04e91c35dafe2b09212059d5cee22347fdce6 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Wed, 29 Jul 2009 16:17:45 +0000
Subject: [PATCH] Added symbolic link to clauses

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

diff --git a/helm/software/components/binaries/matitaprover/clauses.ml b/helm/software/components/binaries/matitaprover/clauses.ml
new file mode 120000
index 000000000..1ece56ed8
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/clauses.ml
@@ -0,0 +1 @@
+../../ng_paramodulation/clauses.ml
\ No newline at end of file
diff --git a/helm/software/components/binaries/matitaprover/clauses.mli b/helm/software/components/binaries/matitaprover/clauses.mli
new file mode 120000
index 000000000..c704e9d2a
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/clauses.mli
@@ -0,0 +1 @@
+../../ng_paramodulation/clauses.mli
\ No newline at end of file
-- 
2.39.2