diff options
author | Gregory Malecha <gmalecha@cs.harvard.edu> | 2015-07-22 13:12:43 -0700 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-07-23 07:10:34 +0200 |
commit | 92dfc77c7496297e094e2d39790a205d548b31da (patch) | |
tree | 637f61936e3f5d03fc383ce2a30f30c17e9e51ed /dev/vm_printers.ml | |
parent | f19ff322973c2dffd4f1f34386057ac1e08a227d (diff) |
adding a missing case for printing zippers.
Diffstat (limited to 'dev/vm_printers.ml')
-rw-r--r-- | dev/vm_printers.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/vm_printers.ml b/dev/vm_printers.ml index 4578a3b33..3d688011c 100644 --- a/dev/vm_printers.ml +++ b/dev/vm_printers.ml @@ -49,6 +49,7 @@ let rec ppzipper z = close_box() | Zfix _ -> print_string "Zfix" | Zswitch _ -> print_string "Zswitch" + | Zproj _ -> print_string "Zproj" and ppstack s = open_hovbox 0; |