From 92dfc77c7496297e094e2d39790a205d548b31da Mon Sep 17 00:00:00 2001
From: Gregory Malecha
Date: Wed, 22 Jul 2015 13:12:43 -0700
Subject: adding a missing case for printing zippers.

---
 dev/vm_printers.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/vm_printers.ml b/dev/vm_printers.ml
index 4578a3b33d..3d688011c2 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;
-- 
cgit v1.2.3