diff options
Diffstat (limited to 'dev/vm_printers.ml')
| -rw-r--r-- | dev/vm_printers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/vm_printers.ml b/dev/vm_printers.ml index 59545d8aa..50207157b 100644 --- a/dev/vm_printers.ml +++ b/dev/vm_printers.ml @@ -34,7 +34,7 @@ let print_idkey idk = print_string "Cons("; print_string (string_of_con sp); print_string ")" - | VarKey id -> print_string (string_of_id id) + | VarKey id -> print_string (Id.to_string id) | RelKey i -> print_string "~";print_int i let rec ppzipper z = |