From f10a3973ec9e4f26fa78eb479fbeacc6caa0dcbf Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 13 Feb 2018 19:18:34 +0000
Subject: Support for large bitvector literals in C backend

---
 src/util.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/util.mli')

diff --git a/src/util.mli b/src/util.mli
index 8aa7f42d..b74442a2 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -230,6 +230,7 @@ val is_some : 'a option -> bool
 val is_none : 'a option -> bool
 
 val take : int -> 'a list -> 'a list
+val drop : int -> 'a list -> 'a list
 
 val take_drop : ('a -> bool) -> 'a list -> ('a list * 'a list)
 
-- 
cgit v1.2.3