From 70946320fd2252759cdd101f609f7e20938685ab Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Fri, 3 Nov 2017 13:49:47 +0000 Subject: [PATCH] Use `=` rather than `String.equal` for better compatibility. --- src/context.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/context.ml b/src/context.ml index 1f9e432a..0b3fe93e 100644 --- a/src/context.ml +++ b/src/context.ml @@ -309,7 +309,7 @@ let create ~(kind : Kind.t) ~path ~base_env ~env_extra ~name ~merlin ~use_findli in let arch_sixtyfour = match get_opt "word_size" with - | Some ws -> String.equal ws "64" + | Some ws -> ws = "64" | None -> get_arch_sixtyfour stdlib_dir in return