diff options
| author | Son Ho | 2022-02-24 01:56:27 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-24 01:56:27 +0100 |
| commit | ba48bca05e97c8f71713c7ce972f70c521da7bfd (patch) | |
| tree | f301a7a74ea2ffd6d51803fa331d7c138b187d2e /src/CfimAst.ml | |
| parent | 27732e406720422313579b7d3a97977463183b89 (diff) | |
Update the way function names are handled
Diffstat (limited to 'src/CfimAst.ml')
| -rw-r--r-- | src/CfimAst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index 6716c793..ab7bcb4a 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -171,7 +171,7 @@ and switch_targets = type fun_def = { def_id : FunDefId.id; - name : name; + name : fun_name; signature : fun_sig; arg_count : int; locals : var list; |