diff options
Diffstat (limited to 'driver/Interp.ml')
| -rw-r--r-- | driver/Interp.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/driver/Interp.ml b/driver/Interp.ml index 25c8b30..662baa2 100644 --- a/driver/Interp.ml +++ b/driver/Interp.ml @@ -86,13 +86,19 @@ let name_of_fundef prog fd = let rec find_name = function | [] -> "<unknown function>" | (id, Gfun fd') :: rem -> - if fd = fd' then extern_atom id else find_name rem + if fd == fd' then extern_atom id else find_name rem | (id, Gvar v) :: rem -> find_name rem in find_name prog.prog_defs let name_of_function prog fn = - name_of_fundef prog (Internal fn) + let rec find_name = function + | [] -> "<unknown function>" + | (id, Gfun(Internal fn')) :: rem -> + if fn == fn' then extern_atom id else find_name rem + | (id, _) :: rem -> + find_name rem + in find_name prog.prog_defs let invert_local_variable e b = Maps.PTree.fold |