summaryrefslogtreecommitdiff
path: root/src/anf.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/anf.ml')
-rw-r--r--src/anf.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/anf.ml b/src/anf.ml
index 4c2405b3..d51d29a3 100644
--- a/src/anf.ml
+++ b/src/anf.ml
@@ -307,7 +307,7 @@ let rec map_functions f (AE_aux (aexp, env, l)) =
let pp_lvar lvar doc =
match lvar with
- | Register typ ->
+ | Register (_, _, typ) ->
string "[R/" ^^ string (string_of_typ typ |> Util.yellow |> Util.clear) ^^ string "]" ^^ doc
| Local (Mutable, typ) ->
string "[M/" ^^ string (string_of_typ typ |> Util.yellow |> Util.clear) ^^ string "]" ^^ doc