From a5b8093c42e0e094713671a1650dc6284ec0f580 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Fri, 1 Jun 2018 08:51:22 -0700
Subject: [PATCH] List.drop again

Reviewed By: ngorogiannis

Differential Revision: D8236694

fbshipit-source-id: da70998
---
 infer/src/IR/Instrs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/IR/Instrs.ml b/infer/src/IR/Instrs.ml
index 2173ea228..652cea65c 100644
--- a/infer/src/IR/Instrs.ml
+++ b/infer/src/IR/Instrs.ml
@@ -28,7 +28,7 @@ let for_all = List.for_all
 
 let count = List.length
 
-let nth_exists instrs index = List.drop instrs index |> List.is_empty |> not
+let nth_exists instrs index = IList.drop instrs index |> List.is_empty |> not
 
 let nth_exn = List.nth_exn