diff options
Diffstat (limited to 'src/Pure.ml')
| -rw-r--r-- | src/Pure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index bdcb35f8..0f4280c3 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -598,7 +598,7 @@ type inst_fun_sig = { inputs : ty list; outputs : ty list } type fun_def = { def_id : FunDefId.id; back_id : T.RegionGroupId.id option; - basename : name; + basename : fun_name; (** The "base" name of the function. The base name is the original name of the Rust function. We add suffixes |