diff options
Diffstat (limited to 'debug/DebugInformation.ml')
| -rw-r--r-- | debug/DebugInformation.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 382845a4..0249f20b 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -665,7 +665,7 @@ let insert_local_declaration sto id ty loc = lvar_file_loc = loc; lvar_type = ty; lvar_static = sto = Storage_static; - } in + } in let id' = next_id () in Hashtbl.add local_variables id' (LocalVariable var); Hashtbl.add stamp_to_local id.stamp id' |