diff options
Diffstat (limited to 'src/CfimAstUtils.ml')
| -rw-r--r-- | src/CfimAstUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimAstUtils.ml b/src/CfimAstUtils.ml index c694d61b..57906143 100644 --- a/src/CfimAstUtils.ml +++ b/src/CfimAstUtils.ml @@ -26,7 +26,7 @@ let lookup_fun_sig (fun_id : fun_id) (fun_decls : fun_decl FunDeclId.Map.t) : | Assumed aid -> Assumed.get_assumed_sig aid let lookup_fun_name (fun_id : fun_id) (fun_decls : fun_decl FunDeclId.Map.t) : - Identifiers.fun_name = + Names.fun_name = match fun_id with | Local id -> (FunDeclId.Map.find id fun_decls).name | Assumed aid -> Assumed.get_assumed_name aid |