Skip to content

Commit 8b3bcee

Browse files
authored
Merge pull request #101 from RadioPotin/master
fix missing nonrec flag
2 parents c283285 + e56050a commit 8b3bcee

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/request/js/nodejs/nodejs_common.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
open Ezjs_min
22

3-
type options = {
3+
type nonrec options = {
44
meth : string option; [@key "method"]
55
headers : ((string * string) list [@assoc]) option;
66
} [@@deriving jsoo]

0 commit comments

Comments
 (0)