summaryrefslogtreecommitdiff
path: root/gemini/geminiTransaction.mli
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@rak.ac>2020-06-02 12:10:14 -0400
committerRyan Kavanagh <rak@rak.ac>2020-06-07 11:39:58 -0400
commit6fcb6e0f2fd4b93d094c68e844e7c1d0bd58a894 (patch)
tree985a8055db77097ec343304d63b4a5da2bbe0f84 /gemini/geminiTransaction.mli
parentRename request to geminiTransaction (diff)
string_to_request -> make_request
Diffstat (limited to '')
-rw-r--r--gemini/geminiTransaction.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/gemini/geminiTransaction.mli b/gemini/geminiTransaction.mli
index 45049f1..f365f71 100644
--- a/gemini/geminiTransaction.mli
+++ b/gemini/geminiTransaction.mli
@@ -31,7 +31,7 @@ sig
type response = status * mime_type * string
- val string_to_request : string -> request
+ val make_request : url:string -> request
val int_to_status : int -> status option