From f9b3887753beb5d9617f60f1e9a6dd66c631caeb Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Wed, 1 Jul 2020 01:21:44 +0200 Subject: [PATCH] get_scope : fix definition_id bug --- src/main/scopes/misc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scopes/misc.ml b/src/main/scopes/misc.ml index 0e7d0aab3..4d2185750 100644 --- a/src/main/scopes/misc.ml +++ b/src/main/scopes/misc.ml @@ -7,7 +7,7 @@ let get_binder_name : 'a Var.t -> string = fun (v: _ Var.t) -> else Var.to_name v let make_def_id name i = - (name ^ (string_of_int i), i+1) + (name ^ "#" ^ (string_of_int i), i+1) let add_shadowing_def : (int * _ Var.t) -> def -> def_map -> (int * def_map) = fun (i,var) def env -> if Var.is_generated var then (i,env)