Replace BackwardFunctionId with RegionGroupId

1 files changed, 1 insertions, 3 deletions

diff --git a/src/Values.ml b/src/Values.ml
index a905c8d3..cc458bca 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -15,8 +15,6 @@ module AbstractionId = IdGen ()
 
 module FunCallId = IdGen ()
 
-module BackwardFunctionId = IdGen ()
-
 (** A variable *)
 
 type big_int = Z.t
@@ -738,7 +736,7 @@ type abs = {
           this is only used for pretty-printing and debugging, in the
           symbolic AST, generated by the symbolic execution.
        *)
-  back_id : (BackwardFunctionId.id option[@opaque]);
+  back_id : (RegionGroupId.id option[@opaque]);
       (** The id of the backward function to which this abstraction is linked.
           This is not used by the symbolic execution: it is a utility for
           the symbolic AST, generated by the symbolic execution.