From 1fbb407c738812848c3734dee5eceeb9c48c829a Mon Sep 17 00:00:00 2001 From: James Cheney Date: Tue, 10 Oct 2023 10:11:35 +0100 Subject: [PATCH] Update core/lib.ml --- core/lib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/lib.ml b/core/lib.ml index 2f35a69a9..19f9a03f3 100644 --- a/core/lib.ml +++ b/core/lib.ml @@ -1703,7 +1703,7 @@ let env : (string * (located_primitive * Types.datatype * pure)) list = [ (* SPARQL *) "sparql", (`Server - (p3D (fun base uri query _ -> + (p3 (fun base uri query -> let base = Iri.of_string (Value.unbox_string base) in let uri = Uri.of_string(Value.unbox_string uri) in let query = Value.unbox_string query in