diff options
Diffstat (limited to 'frontend/typing.ml')
| -rw-r--r-- | frontend/typing.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/typing.ml b/frontend/typing.ml index aca8d15..0f19b93 100644 --- a/frontend/typing.ml +++ b/frontend/typing.ml @@ -136,6 +136,7 @@ let rec extract_all_vars rp (node, prefix, eqs) n_vars = List.flatten (List.map (fun (id, expr) -> + let id = node^"/"^id in let vd = List.mapi (fun i t -> false, id^"."^(string_of_int i), t) |