From 55f854f1b49b725120b64e537c770465ad27ad56 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 2 Sep 2016 07:43:37 -0700
Subject: [PATCH] Fix typo in infer_repl

Reviewed By: akotulski

Differential Revision: D3811088

fbshipit-source-id: d2bd193
---
 scripts/infer_repl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/infer_repl b/scripts/infer_repl
index 1863067bf..9500698e2 100755
--- a/scripts/infer_repl
+++ b/scripts/infer_repl
@@ -12,9 +12,9 @@ BUILD_DIR=$SCRIPT_DIR/../infer/_build/infer
 #       so they can be located anywhere and still find toplevel_init
 #       file. In interactive mode $SCRIPT_DIR isn't needed
 
-# by default utop is used, pass `INFER_UTOP_BINARY` to change the toplevel
+# by default utop is used, pass `INFER_REPL_BINARY` to change the toplevel
 # binary (to `ocaml` for example)
-if [ -z "$INFER_UTOP_BINARY" ]; then
+if [ -z "$INFER_REPL_BINARY" ]; then
   INFER_REPL_BINARY="utop"
 fi
 $INFER_REPL_BINARY -init $SCRIPT_DIR/toplevel_init -I $BUILD_DIR -I $SCRIPT_DIR $@