X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter.ml;h=3f5cb2e5cf770d6026e32cd458ffaa2062a2cd29;hb=27721c563ab000f02ef5cff6e3715bdf75661343;hp=574f6b3c281b8f1113bbbd7ff9a2c274e8370935;hpb=d90d73349df641ea2d18b4c2ff4fe9d970861778;p=helm.git diff --git a/components/getter/http_getter.ml b/components/getter/http_getter.ml index 574f6b3c2..3f5cb2e5c 100644 --- a/components/getter/http_getter.ml +++ b/components/getter/http_getter.ml @@ -154,7 +154,7 @@ let exists uri = let is_an_obj s = try s <> UriManager.buri_of_uri (UriManager.uri_of_string s) - with UriManager.IllFormedUri _ -> false + with UriManager.IllFormedUri _ -> true let resolve ~writable uri = if remote () then