diff options
| author | Peter Sewell | 2014-11-12 21:04:27 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-12 21:04:27 +0000 |
| commit | c9a935860f09258dcb405371d655ce576ed82e10 (patch) | |
| tree | 7ef9c3b6f582bb6de66183cd6669855159a4a2e7 /src | |
| parent | 1a9462c3937c5d48c776adef46d9207c772e95f9 (diff) | |
; -> ,
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index 1626c781..d47a87b4 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -249,7 +249,7 @@ let local_variables_to_string stack = List.fold_right (fun (id,value) others -> match id with | Id_aux(Id "0",_) -> others (*Let's not print out the context hole again*) - | _ -> id_to_string id ^ "=" ^ val_to_string_internal mem value ^ "; " ^ others) env "" + | _ -> id_to_string id ^ "=" ^ val_to_string_internal mem value ^ ", " ^ others) env "" let instr_parm_to_string (name, typ, value) = name ^"="^ |