Submitted a test for inferencing of dependent types.

[helm.git] / matita / lablGraphviz.ml

diff --git a/matita/lablGraphviz.ml b/matita/lablGraphviz.ml
index d5e06c26564946746a9fe00799073e46554b45b5..0084c9204d64e3a35cd2c57038eb27c2c9f2b5be 100644 (file)
--- a/matita/lablGraphviz.ml
+++ b/matita/lablGraphviz.ml
@@ -27,6 +27,8 @@
 
 open Printf
 
+type attribute = string * string  (* <key, value> pair *)
+
 let png_flags = "-Tpng"
 let map_flags = "-Tcmapx"