From 55c3a5eff018c370e6587625b4158c2c68b6bb34 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 26 Feb 2019 09:16:06 +0100
Subject: [PATCH] remove unused function

---
 src/kernel_services/abstract_interp/offsetmap.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel_services/abstract_interp/offsetmap.ml b/src/kernel_services/abstract_interp/offsetmap.ml
index 82625312c80..507f88fe4c8 100644
--- a/src/kernel_services/abstract_interp/offsetmap.ml
+++ b/src/kernel_services/abstract_interp/offsetmap.ml
@@ -22,7 +22,6 @@
 
 open Abstract_interp
 
-let pervasives_succ = succ
 (* This module uses Bigints everywhere. Set up some notations *)
 let pretty_int = Int.pretty
 let ( =~ ) = Integer.equal
-- 
GitLab