diff options
| author | Son Ho | 2022-06-29 08:50:17 +0200 |
|---|---|---|
| committer | Son Ho | 2022-06-29 08:50:17 +0200 |
| commit | 775b2473976075aa6458a51682f3beeee75dc17a (patch) | |
| tree | 23dbdc15e4aa48f4b1ba7bc84e872673b618b607 /src/Print.ml | |
| parent | 8c3dc80d255ba2000d35c0bcdf9dbe927215bb81 (diff) | |
Make minor modifications
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Print.ml b/src/Print.ml index 8e29bc67..af6fc982 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -948,7 +948,7 @@ module LlbcAst = struct match st with | A.Assign (p, rv) -> indent ^ place_to_string fmt p ^ " := " ^ rvalue_to_string fmt rv - | A.FakeRead p -> "fake_read " ^ place_to_string fmt p + | A.FakeRead p -> indent ^ "fake_read " ^ place_to_string fmt p | A.SetDiscriminant (p, variant_id) -> (* TODO: improve this to lookup the variant name by using the def id *) indent ^ "set_discriminant(" ^ place_to_string fmt p ^ ", " |