From aa3e078c3b0fc31d28b8c47ba19d56b501327286 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