From 54d7e03f1cf38103583b4a30f0f13256d54ad65e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 1 Jul 2009 16:07:16 +0000 Subject: [PATCH] ... --- .../components/binaries/matitaprover/tptp_cnf.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/helm/software/components/binaries/matitaprover/tptp_cnf.ml b/helm/software/components/binaries/matitaprover/tptp_cnf.ml index 8c38d6e65..8d3cedfd4 100644 --- a/helm/software/components/binaries/matitaprover/tptp_cnf.ml +++ b/helm/software/components/binaries/matitaprover/tptp_cnf.ml @@ -15,13 +15,13 @@ let trans_formulae = function (* HELPERS *) let resolve ~tptppath s = let resolved_name = + if HExtlib.is_regular s then s else if tptppath = "/" then s else - if Filename.check_suffix s ".p" then - (assert (String.length s > 5); - let prefix = String.sub s 0 3 in - tptppath ^ "/Problems/" ^ prefix ^ "/" ^ s) - else - tptppath ^ "/" ^ s + if Filename.check_suffix s ".p" then + (assert (String.length s > 5); + let prefix = String.sub s 0 3 in + tptppath ^ "/Problems/" ^ prefix ^ "/" ^ s) + else tptppath ^ "/" ^ s in if HExtlib.is_regular resolved_name then resolved_name -- 2.39.2