ugly coerc db print

[helm.git] / helm / software / components / grafite / grafiteAstPp.ml

diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml
index 3d6b864926b815ec25f88e9b67262c076be5df65..76651753f92cbe6c6232f7b53ab43efc84b654a8 100644 (file)
--- a/helm/software/components/grafite/grafiteAstPp.ml
+++ b/helm/software/components/grafite/grafiteAstPp.ml
@@ -303,6 +303,7 @@ let pp_arg ~term_pp arg =
   
 let pp_nmacro = function
   | NCheck (_, term) -> Printf.sprintf "ncheck %s" (CicNotationPp.pp_term term)
+  | Screenshot (_, name) -> Printf.sprintf "screenshot \"%s\"" name
 ;;
 
 let pp_macro ~term_pp ~lazy_term_pp =